克劳迪奥·蒙吉;亚历山德罗·玛丽亚·里齐;安娜·贝纳斯科尼;鲍拉·斯波莱蒂尼 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) 全文: 内政部
克劳迪奥·蒙吉;亚历山德罗·玛丽亚·里齐;安娜·贝纳斯科尼 将拓扑证明与模型检查集成到仪器迭代设计中。 (英文) 兹比尔1507.68195 Wehrheim,Heike(编辑)等人,《软件工程的基本方法》,第23届国际会议,FASE 2020,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2020,爱尔兰都柏林,2020年4月25日至30日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。12076, 53-74 (2020).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,Lect。注释计算。科学。12076,53-74(2020;Zbl 1507.68195) 全文: 内政部 arXiv公司