朱利安·布伦纳;彼得·兰米奇 通过部分降阶对可执行LTL模型检查器进行形式验证。 (英语) Zbl 1426.68162号 J.汽车。推理 60,第1期,3-21(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Brunner}和\textit{P.Lammich},J.Autom。推理60,No.1,3--21(2018;Zbl 1426.68162) 全文: 内政部 链接
Tan、Li;曾伯龙 使用Büchi自动机进行测试:转换覆盖度量、性能分析和属性优化。 (英语) Zbl 1368.68251号 Bouabana-Tebbel,Thouraya(编辑)等人,《重用和系统集成的形式化》。查姆:施普林格(ISBN 978-3-319-16576-9/pbk;978-3-316-16577-6/电子书)。《智能系统与计算进展》346,1-25(2015)。MSC公司:60年第68季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Tan}和\textit{B.Zeng},高级情报。系统。计算。346,1--25(2015;Zbl 1368.68251) 全文: 内政部
Vu,Dieu-Houng先生;千叶,Yuki;肯罗·亚塔克;藤崎青木 检查Promela设计是否符合Event-B中的正式规范。 (英语) 兹比尔1328.68131 Artho,Cyrille(编辑)等人,《安全关键系统的形式化技术》。第三次国际研讨会,FTSCS 2014,卢森堡,2014年11月6-7日。修改选定的论文。查姆:施普林格(ISBN 978-3-319-17580-5/pbk;978-3-316-17581-2/电子书)。《计算机与信息科学通信》476,110-126(2015)。MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.-H.Vu}等人,Commun。计算。信息科学。476110--126(2015年;Zbl 1328.68131) 全文: 内政部
洛科·德尼古拉;阿尔贝托·卢什·拉富恩特;米歇尔·洛雷蒂;安德烈亚·莫里切塔;罗萨里奥·普格利泽;瓦莱里奥·塞尼;弗朗西斯科·蒂齐 编程和验证组件集成。 (英语) Zbl 1416.68051号 Bensalem,Saddek(编辑)等人,《从程序到系统》。计算中的系统观点。ETAPS研讨会,FPS 2014,纪念约瑟夫·西法克斯,法国格勒诺布尔,2014年4月6日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8415, 69-83 (2014).MSC公司:68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人,Lect。注释计算。科学。8415,69-83(2014;Zbl 1416.68051) 全文: 内政部
玛丽安·盖奥吉;佛罗伦萨伊帕特;拉卢卡左翼;佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。;阿德里安·厄尔卡努;路易斯·巴伦西亚·卡布雷拉;曼纽尔·加西亚·基斯蒙多;劳伦·米尔勒 使用简单内核P系统的3列问题建模。 (英语) Zbl 1274.68125号 国际期刊计算。数学。 第4号,第90页,第816-830页(2013年).MSC公司:2005年第68季度 第68季度10 19年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gheorghe}等人,《国际计算杂志》。数学。90,第4号,816--830(2013;Zbl 1274.68125) 全文: 内政部 链接
Michael Leuschel先生;蒂埃里·马萨特 通过对称标记对B和Z模型进行有效的近似验证。 (英语) Zbl 1209.68127号 安。数学。Artif公司。智力。 59,第1期,81-106(2010).MSC公司:68号30 60年第68季度 68兰特 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Leuschel}和\textit{T.Massart},安·数学。Artif公司。智力。59,编号1,81-106(2010年;Zbl 1209.68127) 全文: 内政部
宋和松;凯文·康普顿。;威廉·罗恩斯(William C.Rounds)。 SPIN:基于SPIN的可重构混合系统模型检查器。 (英语) Zbl 1276.68107号 Lazic,Ranko(ed.)等人,《关键系统自动验证第五届国际研讨会论文集》(AVoCS 2005),英国华威大学,2005年9月12日至13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记145167-183(2006)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Song}等人,Electron。注释Theor。计算。科学。145167-183(2006年;Zbl 1276.68107) 全文: 链接
陈,J。;崔,H。 针对基于CORBA的应用程序,将经过改编的UML转换为Promela。 (英语) Zbl 1125.68340号 Graf,Susanne(编辑)等人,《模型检查软件》。第11届SPIN国际研讨会,西班牙巴塞罗那,2004年4月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21314-7/pbk)。计算机科学课堂讲稿2989234-251(2004)。MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Chen}和\textit{H.Cui},Lect。注释计算。科学。2989234--251(2004年;Zbl 1125.68340) 全文: 内政部