佐哈尔·曼纳;Henny B.西普玛。 通过图表上的动态归纳法验证参数化系统。 （英语） Zbl 1046.68601号 Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。注释计算。科学。1633, 25-43 (1999). 小结：在本文中，我们提出了一种可视化方法，用验证图归纳法证明参数化系统的过程属性。归纳假设由自动机表示，并基于过程索引上的状态相关顺序，以提高灵活性。这种方法为进度属性提供了更直观的证明，并且更容易自动证明更简单的验证条件。关于整个系列，请参见[Zbl 0925.68015号]. 引用于1文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{H.B.Sipma}，莱克特。注释计算。科学。1633年、25-43年（1999年；Zbl 1046.68601）