佐哈尔·曼纳；阿米尔·普努利 参数化程序的验证。 （英语） Zbl 0844.68079号 Börger，Egon（编辑），规范和验证方法。牛津：克拉伦登出版社。国际计算机科学家学校。167-230 (1995). 摘要：我们提出了一种使用时序逻辑验证参数化反应式程序的方法。有关整个系列，请参见[Zbl 0831.00010号]. 引用于26文件 MSC公司： 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 68N17号 逻辑编程 03B45号 模态逻辑（包括规范逻辑） 关键词：参数化反应式程序的验证；时序逻辑 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli}，in：规范和验证方法。牛津：克拉伦登出版社。167-230（1995年；Zbl 0844.68079）