费边·鲍尔·马尔夸特;斯特凡·洛伊;克里斯蒂安·席林 symQV(对称QV):量子程序的自动符号验证。 (英语) Zbl 1529.68152号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000年,181-198年(2023年)。MSC公司:60年第68季度 68号30 第68卷第15页 81页68 PDF格式BibTeX公司 XML格式引用 \textit{F.Bauer-Marquart}等人,Lect。注释计算。科学。14000、181--198(2023年;Zbl 1529.68152) 全文: 内政部 arXiv公司
娜塔莎·约加南达·杰普;汤姆·梅尔姆;丹尼尔·克罗宁 使用模拟关系通过等价性检查增强主动模型学习。 (英语) Zbl 07815088号 形式方法系统。设计。 61,编号2-3,164-197(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Y.Jeppu}等人,《形式方法系统》。设计。61,编号2-3164-197(2022;Zbl 07815088) 全文: 内政部 OA许可证
德克·拜尔;马蒂亚斯·丹格尔;菲利普·温德勒 基于SMT的软件验证的统一观点。 (英语) Zbl 1426.68041号 J.汽车。推理 60,第3号,299-335(2018); 更正同上,第65号,第3461(2021)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}等人,J.Autom。推理60,No.3,299--335(2018;Zbl 1426.68041) 全文: 内政部
奥利·萨里基维;凯乔·赫尔扬科 LCTD:LLVM上C程序的测试引导证明。 (英语) Zbl 1392.68149号 J.日志。阿尔盖布。方法计划。 85,第6号,1292-1317(2016).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Saarikivi}和\textit{K.Heljanko},J.Log。阿尔盖布。方法计划。85,第6号,1292--1317(2016;Zbl 1392.68149) 全文: 内政部
弗朗西斯科·阿尔贝蒂;罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;娜塔莎·莎莉吉娜 带有数组的程序的惰性抽象的一种扩展,带有插值。 (英语) Zbl 1317.68107号 形式方法系统。设计。 45,第1期,63-109(2014).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Alberti}等人,《形式方法系统》。设计。45,编号1,63--109(2014;Zbl 1317.68107) 全文: 内政部 链接
丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。 使用状态和转换不变量的循环摘要。 (英语) 兹比尔1291.68262 形式方法系统。设计。 42,第3期,221-261(2013).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}等人,《形式方法系统》。设计。42,第3号,221--261(2013;Zbl 1291.68262) 全文: 内政部 链接
约尔格·布劳尔;安迪·金 无量词消除的传递函数综合。 (英语) 兹比尔1278.68070 日志。方法计算。科学。 8,第3号,第17号论文,37页(2012年).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Brauer}和\textit{A.King},Log。方法计算。科学。8,第3号,第17号论文,37页(2012年;Zbl 1278.68070) 全文: 内政部
科尔钦,A.V。 一种动态构造形式模型状态抽象的自动方法。 (英语。俄文原件) Zbl 1288.68166号 赛博。系统。分析。 46,第4期,583-601(2010); 翻译自Kibern。修女。分析。2010年,第4期,70-90(2010)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.V.Kolchin},Cybern。系统。分析。46,No.4,583--601(2010;Zbl 1288.68166);翻译自Kibern。修女。分析。2010年第4期,70--90(2010) 全文: 内政部