达纳·菲斯曼;阿米尔·普努利 除了定期模型检查。 (英语) Zbl 1052.68084号 Hariharan,Ramesh(编辑)等人,FST TCS 2001:软件技术和理论计算机科学基础。第21届会议,印度班加罗尔,2001年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43002-4)。莱克特。票据计算。科学。2245, 156-170 (2001). 摘要:近年来,人们已经确定,定期模型检查可以成功地应用于几个参数化验证问题。然而,有许多参数化验证问题无法用常规语言描述,因此无法使用常规模型检查进行验证。在本研究中,我们尝试使用比常规语言更具表现力的语言类来实践符号模型检查。我们提供了三种方法来统一验证非正则参数化系统。有关整个系列,请参见[Zbl 0977.00041号]. 引用于5文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}和\textit{A.Pnueli},莱克特。票据计算。科学。2245156-170(2001年;Zbl 1052.68084) 全文: 链接