交互式程序运行时界限的基础验证

研究提出针对交互式程序运行时界限的基础验证方法，相关论文发布在 adam.chlipala.net。该工作聚焦交互式程序的运行时间上界如何被形式化验证，属于程序验证领域的基础性研究。