Y.凯斯特。;A.普努利。 勘误表:“通过增广有限抽象进行验证”。 (英语) Zbl 1009.68515号 Inf.计算。 172,第1号,98-100(2002). 同上163,第1号,203-243(2000;兹比尔1003.68069). MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 引文:Zbl 1003.68069号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Keste}和\textit{A.Pnueli},信息计算。172,第1号,98--100(2002;Zbl 1009.68515) 全文: 内政部