克劳迪奥·蒙吉；亚历山德罗·玛丽亚·里齐；安娜·伯纳斯科尼；鲍拉·斯波莱蒂尼 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） 全文： 内政部
克劳迪奥·蒙吉；亚历山德罗·玛丽亚·里齐；安娜·伯纳斯科尼 将拓扑证明与模型检查集成到仪器迭代设计中。 （英语） Zbl 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公司
马尔塞洛·贝尔萨尼。；马蒂奥·索尔多；克劳迪奥·蒙吉；帕特里齐奥·佩利奇奥内；罗西，马蒂奥 PuRSUE–从机器人环境规范到控制器合成。 （英语） Zbl 1458.68218号 正式Asp。计算。 32，编号2-3，187-227（2020）.MSC公司：68T40型 93亿B50 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人，正式Asp。计算。32，编号2-3187-227（2020；兹bl 1458.68218） 全文： 内政部
克劳迪奥·蒙吉；鲍拉·斯波莱蒂尼；玛莎·契契克；卡洛·盖齐 用于控制器迭代设计的验证驱动框架。 （英语） Zbl 1425.68262号 正式Asp。计算。 31,5号，459-502（2019）.MSC公司：60年第68季度 03B44号 68N99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人，正式Asp。计算。31，第5号，459--502（2019；Zbl 1425.68262） 全文： 内政部