费边·鲍尔·马尔夸特;斯特凡·洛伊;克里斯蒂安·席林 symQV(对称QV):量子程序的自动符号验证。 (英语) 兹比尔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 1409.68077号 J.汽车。推理 58,第1号,33-65(2017).MSC公司:68号30 2012年第68季度 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Ströder}等人,J.Autom。推理58,No.1,33--65(2017;Zbl 1409.68077) 全文: 内政部 链接