阿伦·斯塔姆;Oe,Duckki(杜基·欧);安德鲁·雷诺兹;莉安娜·哈达伦;塞萨尔·蒂内利 使用逻辑框架进行SMT验证。 (英语) Zbl 1284.68521号 形式方法系统。设计。 42,第1期,91-118(2013).MSC公司:68吨15 68T20型 03B35型 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Stump}等人,《形式方法系统》。设计。42,第1号,91--118(2013;Zbl 1284.68521) 全文: 内政部
克拉克·巴雷特;莱昂纳多·德·莫拉;阿伦·斯塔姆 第二届年度可满足性模理论竞赛(SMT-COMP 2006)的设计和结果。 (英语) Zbl 1129.68498号 形式方法系统。设计。 31,第3期,221-239(2007).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人,《形式方法系统》。设计。31,第3号,221--239(2007;Zbl 1129.68498) 全文: 内政部
克拉克·巴雷特;莱昂纳多·德·莫拉;阿伦·斯塔姆 第一届可满足性模理论竞赛(SMT-COMP 2005)的设计和结果。 (英语) Zbl 1104.68719号 J.汽车。推理 35,第4期,373-390(2005).MSC公司:68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人,J.Autom。推理35,No.4,373--390(2005;Zbl 1104.68719) 全文: 内政部