贝拉德,B。;哈达德,S。;皮卡罗尼,C。;Safey El Din,M。;萨索拉斯,M。 多项式中断时间自动机:验证和表达。 (英语) Zbl 1475.68145号 Inf.计算。 277,文章ID 104580,15 p.(2021).MSC公司:65年第68季度 03B70号 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《信息计算》。277,文章ID 104580,15 p.(2021;Zbl 1475.68145) 全文: 内政部 哈尔
帕特里夏·鲍耶;帕特里克·加迪;尼古拉斯·马基 关于策略逻辑的语义。 (英语) Zbl 1346.68121号 信息处理。莱特。 116,第2号,75-79(2016).MSC公司:60年第68季度 03B44号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《信息处理》。莱特。116,第2号,75--79(2016;Zbl 1346.68121) 全文: 内政部
克里斯汀·罗泽尔。 线性时序逻辑符号模型检查。 (英语) 兹比尔1298.68176 计算。科学。版次。 5,第2期,163-203(2011).MSC公司:60年第68季度 03B44号 68-02 PDF格式BibTeX公司 XML格式引用 \textit{K.Y.Rozier},计算。科学。第5版,第2号,163--203(2011;Zbl 1298.68176) 全文: 内政部
卢卡·普利纳;阿尔曼多·塔切拉 从未:人工神经网络验证工具。 (英语) Zbl 1251.68143号 安。数学。工件。智力。 62,编号3-4,403-425(2011).MSC公司:60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{L.Pulina}和\textit{A.Taccella},Ann.数学。工件。智力。62,编号3--4,403--425(2011;Zbl 1251.68143) 全文: 内政部
安迪·普拉泽 混合系统的逻辑分析。证明复杂动力学的定理。 (英语) Zbl 1211.68412号 柏林:施普林格出版社(ISBN 978-3-642-14508-7/hbk;978-3-442-14509-4/电子书)。xxx,426页。(2010).MSC公司:68T27型 68-01 93C83号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},混合系统的逻辑分析。证明复杂动力学的定理。柏林:施普林格出版社(2010;Zbl 1211.68412) 全文: 内政部
埃德蒙·克拉克;阿明·比尔;理查德·雷米;朱云山 使用可满足性求解进行有界模型检查。 (英语) Zbl 0985.68038号 形式方法系统。设计。 19,第1期,7-34(2001).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人,《形式方法系统》。设计。19,第1号,第7--34号(2001;Zbl 0985.68038) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳库普弗曼;莫舍·瓦尔迪。 一种用于实时模型检查的空效实时算法。 (英语) Zbl 1514.68168号 Montanari,Ugo(编辑)等人,CONCUR’96:并发理论。第七届国际会议,意大利比萨,1996年8月26日至29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1119, 514-529 (1996).MSC公司:68问题85 03B44号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。1119514-529(1996年;Zbl 1514.68168) 全文: 内政部
何旭东;约翰·A·N·李。 在并发系统的规范和验证中,将谓词转换网与一阶时序逻辑集成。 (英语) Zbl 0703.68078号 形式方面计算。 2,第3期,226-246(1990).MSC公司:68问题85 2010年第68季度 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{X.He}和\textit{J.A.N.Lee},正式Asp。计算。2,编号3,226--246(1990;Zbl 0703.68078) 全文: 内政部