阿伦·斯塔姆;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) 全文: 内政部
德扬·约瓦诺维奇;克拉克·巴雷特 注意理论结合。 (英语) 兹比尔1284.68518 形式方法系统。设计。 42,No.1,67-90(2013).MSC公司:第68页第15页 03B70号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Jovanović}和textit{C.Barrett},《形式方法系统》。设计。42,第1号,67-90(2013年;兹bl 1284.68518) 全文: 内政部
亚历山德罗·西马蒂;塞尔吉奥·莫弗;斯特凡诺·托内塔 混合系统基于SMT的场景验证。 (英语) 兹比尔1284.03216 形式方法系统。设计。 42,第1期,46-66(2013).MSC公司:05年3月 60年第68季度 68T20型 第68季度第45季度 03B44号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。42,第1号,46--66(2013;Zbl 1284.03216) 全文: 内政部
西尔维奥·兰伊斯 具有有效命题逻辑的符号后向可达性。应用于安全策略分析。 (英语) Zbl 1284.68520号 形式方法系统。设计。 42,第1期,24-45(2013).MSC公司:第68页第15页 68T27型 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ranise},形式方法系统。设计。42,第1号,24-45(2013;Zbl 1284.68520) 全文: 内政部
克里斯托弗·温特斯泰格。;尤塞夫·哈马迪;莱昂纳多·德·莫拉 有效求解量化位向量公式。 (英语) Zbl 1284.03212号 形式方法系统。设计。 42,第1期,3-23(2013).MSC公司:03B70号 60年第68季度 第68页第15页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Wintersteiger}等人,《形式方法系统》。设计。42,第1号,第3--23号(2013;Zbl 1284.03212) 全文: 内政部
斯特里赫曼(Ofer Strichman)(编辑);丹尼尔·克罗宁(编辑) 专题“SI:可满足性模理论”前言。 (英语) Zbl 1284.68035号 形式方法系统。设计。 42,第1期,第1-2期(2013年).MSC公司:68-06 03B70号 68T20型 第68页第15页 60年第68季度 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{O.Strichman}(编辑)和\textit{D.Kroening}(主编),《形式方法系统》。设计。42,编号1,1--2(2013;Zbl 1284.68035) 全文: 内政部