卡斯滕·福斯;Kop,辛西娅;直纪西田 通过约束重写归纳法验证过程程序。 (英语) 兹比尔1367.68248 ACM事务处理。计算。日志。 18,第2号,第14条,50页(2017年).MSC公司:68吨15 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Fuhs}等人,ACM Trans。计算。日志。18,第2号,第14条,50页(2017年;Zbl 1367.68248) 全文: DOI程序 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) 全文: DOI程序 链接