舒巴尼·古普塔;阿西姆·萨克森纳;安莫尔·马哈扬;索拉夫·班萨尔 通过不变量匹配和查询分解有效地使用SMT解算器进行程序等价性检查。 (英语) Zbl 1511.68312号 Beyersdorff,Olaf(编辑)等人,《可满足性测试的理论和应用——2018年SAT》。2018年7月9日至12日在英国牛津举行的2018年第21届国际会议(SAT 2018),作为联邦逻辑会议的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10929, 365-382 (2018).MSC公司:68伏15 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gupta}等人,Lect。注释计算。科学。10929365-382(2018年;Zbl 1511.68312) 全文: 内政部
小岛贤介;赤泉伊马尼西;Atsushi Igarashi 自动验证无赛跑GPU程序的功能正确性。 (英语) Zbl 1426.68054号 J.汽车。推理 60,第3号,279-298(2018).MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Kojima}等人,J.Autom。推理60,No.3,279--298(2018;Zbl 1426.68054) 全文: 内政部
拉胡尔·夏尔马;亚历克斯·艾肯 从不变量检查到使用随机搜索的不变量推理。 (英语) Zbl 1358.68197号 形式方法系统。设计。 48,第3期,235-256(2016).MSC公司:第68季度第60季度 68第05页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Sharma}和\textit{A.Aiken},《形式方法系统》。设计。48,第3号,235--256(2016;Zbl 1358.68197) 全文: 内政部