盛、欢欢;亚历山大·本特坎普;詹伯华 HHLPy公司:使用霍尔逻辑对混合系统进行实际验证。 (英语) Zbl 1529.68164号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 160-178 (2023).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.Sheng}等人,Lect。注释计算。科学。14000、160--178(2023年;Zbl 1529.68164) 全文: 内政部 arXiv公司
克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;玛莎·契契克;卡洛·盖齐 控制器迭代设计的验证驱动框架。 (英语) 兹比尔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) 全文: 内政部
多雷尔·卢卡努;弗拉德·鲁苏;安德烈·阿鲁索艾 符号执行的通用框架:一种共生产方法。 (英语) 兹比尔1356.68044 J.塞姆。计算。 80,第1部分,125-163(2017).MSC公司:68号30 68问题55 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}等人,J.Symb。计算。80,第1部分,125--163(2017;Zbl 1356.68044) 全文: 内政部 哈尔
阿拉斯代尔·阿姆斯特朗;维克托·戈梅斯。;乔治·斯特鲁斯 根据代数原理构建程序构造和验证工具。 (英语) Zbl 1342.68066号 正式Asp。计算。 28,第2期,265-293(2016).MSC公司:68号30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Armstrong}等人,正式Asp。计算。28,第2号,265--293(2016;Zbl 1342.68066) 全文: 内政部