亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;马可·罗维里;Stefano托内塔 验证模理论。 (英语) Zbl 07757158号 形式方法系统。设计。 60,第3期,452-481(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。60,编号3,452--481(2022;Zbl 07757158) 全文: 内政部 OA许可证
迪米特里·博伦德;斯特凡·科瓦列夫斯基 利用Horn子句解决PLC软件的组成验证。 (英语) Zbl 1435.68190号 离散事件动态。系统。 30,编号1,1-24(2020).MSC公司:第68季度第60季度 68号30 68问题55 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bohlender}和\textit{S.Kowalewski},离散事件动态。系统。30,第1号,1-24(2020;Zbl 1435.68190) 全文: 内政部
马可·波扎诺;亚历山德罗·西马蒂;克里斯蒂安·马塔雷 冗余体系结构的形式化可靠性分析。 (英语) 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) 全文: 内政部
亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;Stefano托内塔 使用IC3和谓词抽象进行无限状态不变量检查。 (英语) Zbl 1368.68245号 形式方法系统。设计。 49,第3期,190-218(2016).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。49,第3号,190--218(2016;Zbl 1368.68245) 全文: 内政部