克劳迪奥·蒙吉;亚历山德罗·玛丽亚·里齐;安娜·伯纳斯科尼;鲍拉·斯波莱蒂尼 TOrPEDO:用拓扑证明见证模型的正确性。 (英语) Zbl 1522.68335号 正式Asp。计算。 33,第6号,1039-1066(2021).MSC公司:60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,正式Asp。计算。33,第6号,1039--1066(2021;Zbl 1522.68335) 全文: 内政部
巴雷西,L。;M.M.贝尔萨尼。;F.马可尼。;G.夸特罗奇。;罗西,M。 使用形式验证评估Spark应用程序的执行时间。 (英语) Zbl 1451.68166号 正式Asp。计算。 32,第1号,33-70(2020年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Baresi}等人,《形式语法》。计算。32,第1号,33-70(2020;Zbl 1451.68166) 全文: 内政部 链接
克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;玛莎·契契克;卡洛·盖齐 用于控制器迭代设计的验证驱动框架。 (英语) Zbl 1425.68262号 正式Asp。计算。 31,5号,459-502(2019).MSC公司:60年第68季度 03B44号 68N99型 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,正式Asp。计算。31,第5号,459--502(2019;Zbl 1425.68262) 全文: 内政部
马可·波扎诺;亚历山德罗·西马蒂;克里斯蒂安·马塔雷 冗余架构的正式可靠性分析。 (英语) Zbl 1425.68039号 正式Asp。计算。 31,第1号,59-94(2019).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,正式Asp。计算。31,第1号,59-94(2019;Zbl 1425.68039) 全文: 内政部
李建文;张丽君;朱淑芳;浦、葛光;莫舍·瓦尔迪。;何继峰 一种用于LTL可满足性检查的显式转换系统构建方法。 (英语) Zbl 1382.68142号 正式Asp。计算。 30,第2期,193-217(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人,正式Asp。计算。30,第2号,193--217(2018;Zbl 1382.68142) 全文: 内政部
文斯·莫尔纳;安德拉斯·Vörös;达尼尔·达瓦斯;塔马斯·巴塔;伊斯坦·马齐克 组件级增量LTL模型检查。 (英语) 兹比尔1355.68178 正式Asp。计算。 28,第3号,345-379(2016).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Molnár}等人,《形式Asp》。计算。28,第3号,345--379(2016;Zbl 1355.68178) 全文: 内政部 链接
维克利斯、迪米特里斯;弗雷德里克·朗;加泰林·迪马;拉杜·马特埃斯库 使用CADP验证\(\mathrm{EB}^3\)规范。 (英语) Zbl 1335.68150号 正式Asp。计算。 28,第1期,145-178(2016).MSC公司:60年第68季度 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{D.Vekris}等人,《形式语法》。计算。28,第1号,145--178(2016;Zbl 1335.68150) 全文: 内政部
JiříBarnat;彼得·鲍赫;尼古拉·贝内什;卢博什·布里姆;简·伯兰;托马斯·克拉托奇维拉 分析航空电子系统需求的健全性。 (英语) Zbl 1335.68131号 正式Asp。计算。 28,第1号,45-63(2016).MSC公司:60年第68季度 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Barnat}等人,《形式语法》。计算。28,第1号,45-63(2016;Zbl 1335.68131) 全文: 内政部 arXiv公司
Manoj G.迪克西特。;拉梅什,S。;帕拉布·达斯古普塔 时间预算:一种基于组件的实时嵌入式系统开发方法。 (英语) Zbl 1342.68042号 正式Asp。计算。 第3期第26页,第591-621页(2014年).MSC公司:68平方米 68米14 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Dixit}等人,《形式语法》。计算。26,第3号,591--621(2014;Zbl 1342.68042) 全文: 内政部
克里斯蒂安·马萨拉古;魏恩根·钦;安德烈·特凡;瓦西里·阿拉伊巴 业务流程规范和验证的严格方法。 (英语) Zbl 1184.68340号 正式Asp。计算。 21,第5期,495-510(2009).MSC公司:60年第68季度 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{C.Masalagiu}等人,正式Asp。计算。21,第5号,495--510(2009;Zbl 1184.68340) 全文: 内政部
丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman) 可满足性模理论的框架。 (英语) Zbl 1192.68647号 正式Asp。计算。 21,第5期,485-494(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}和\textit{O.Strichman},正式Asp。计算。21,第5485-494号(2009年;兹bl 1192.68647) 全文: 内政部
蔡义权;陈玉芳;蔡明勋;吴康年;陈文钦;罗、池建;张进淑 支持学习Büchi自动机和线性时序逻辑的工具。 (英语) Zbl 1165.68040号 正式Asp。计算。 21,第3期,259-275(2009).MSC公司:第68季度第45季度 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.-K.Tsay}等人,正式Asp。计算。21,第3号,259--275(2009;Zbl 1165.68040) 全文: 内政部