塞皮德·阿萨迪;马丁·布利查;安蒂·E·J·海瓦·里宁。;格里戈里·费尤科维奇;娜塔莎·莎莉吉娜 通过概要修复对基于SMT的程序更改进行验证。 (英语) Zbl 07757154号 形式方法系统。设计。 60,第3号,350-380(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Asadi}等人,《形式方法系统》。设计。60,编号3,350-380(2022;Zbl 07757154) 全文: 内政部 OA许可证
阿诺德·桑尼尔;纳塔利·斯兹纳杰德;玛丽亚·波托普·布图卡鲁;塞巴斯蒂安·蒂谢尔 环形机器人遗忘算法的参数化验证。 (英语) Zbl 1506.68058号 形式方法系统。设计。 56,编号1-3,55-89(2020).MSC公司:60年第68季度 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Sangnier}等人,《形式方法系统》。设计。56,编号1--3,55-89(2020;Zbl 1506.68058) 全文: 内政部 arXiv公司
安德鲁·雷诺兹;金,蒂姆;维克多·昆卡 通过反例引导实例化求解量化线性算法。 (英语) Zbl 1377.68138号 形式方法系统。设计。 51,第3号,500-532(2017).MSC公司:60年第68季度 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人,《形式方法系统》。设计。51,第3号,500--532(2017;Zbl 1377.68138) 全文: 内政部 链接
董武宣;Khanh,To Van先生;小川,水井裕人 raSAT:多项式约束的SMT解算器。 (英语) Zbl 1377.68140号 形式方法系统。设计。 51,编号3,462-499(2017).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.X.Tung}等人,《形式方法系统》。设计。51,第3号,462--499(2017;Zbl 1377.68140) 全文: 内政部
马丁·布隆伯格;克里斯托夫·韦登巴赫 线性算术的新技术:立方体和等式。 (英语) Zbl 1377.68128号 形式方法系统。设计。 51,第3期,433-461(2017).MSC公司:60年第68季度 03B70号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bromberger}和\textit{C.Weidenbach},《形式方法系统》。设计。51,No.3,433--461(2017;Zbl 1377.68128) 全文: 内政部 哈尔
查克拉波蒂,苏普拉特克;苏拉布·卡西达什维利;Carl-Johan H.塞格。;拉杰库马尔·加贾维利;坦马·霍丹卡尔;查塔尼·迪内什;拉凯什·米斯特里 单词级验证的符号轨迹评估:理论与实现。 (英语) Zbl 1360.68582号 形式方法系统。设计。 50,编号2-3,317-352(2017).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Chakraborty}等人,《形式方法系统》。设计。50,编号2--3,317--352(2017;Zbl 1360.68582) 全文: 内政部
郑云辉;维杰·加内什;萨努苏布拉曼尼亚语;奥马尔·特里普;墨菲·贝尔齐什;朱利安·杜比;张湘玉 Z3str2:字符串、正则表达式和长度约束的高效求解器。 (英语) Zbl 1360.68773号 形式方法系统。设计。 50,编号2-3,249-288(2017).MSC公司:68吨15 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zheng}等人,《表格方法系统》。设计。50,编号2--3249--288(2017;Zbl 1360.68773) 全文: 内政部
亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;斯特凡诺·托内塔 使用IC3和谓词抽象进行无限状态不变量检查。 (英语) Zbl 1368.68245号 形式方法系统。设计。 49,第3期,190-218(2016).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。49,第3号,190--218(2016;Zbl 1368.68245) 全文: 内政部
拉胡尔·夏尔马;亚历克斯·艾肯 从不变量检查到使用随机搜索的不变量推理。 (英语) Zbl 1358.68197号 形式方法系统。设计。 48,第3期,235-256(2016).MSC公司:60年第68季度 68第05页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Sharma}和\textit{A.Aiken},《形式方法系统》。设计。48,第3号,235--256(2016;Zbl 1358.68197) 全文: 内政部
菲利普·吕默;侯赛因·霍贾特;维克多·昆卡 关于无递归Horn子句和Craig插值。 (英语) 兹比尔1322.68134 形式方法系统。设计。 47,第1号,1-25(2015).MSC公司:60年第68季度 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{P.Rümmer}等人,《表格方法系统》。设计。47,第1号,1-25(2015;Zbl 1322.68134) 全文: 内政部
布莱恩,马丁;维杰·德·席尔瓦;阿尔贝托·格里乔;利奥波德·哈勒;丹尼尔·克罗宁 利用抽象冲突驱动子句学习确定浮点逻辑。 (英语) 兹伯利1317.68110 形式方法系统。设计。 45,第2期,213-245(2014).MSC公司:60年第68季度 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Brain}等人,《形式方法系统》。设计。45,第2号,213--245(2014;Zbl 1317.68110) 全文: 内政部
弗朗西斯科·阿尔贝蒂;罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;娜塔莎·莎莉吉娜 带有数组的程序的惰性抽象的一种扩展,带有插值。 (英语) Zbl 1317.68107号 形式方法系统。设计。 45,第1期,63-109(2014).MSC公司:60年第68季度 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{F.Alberti}等人,《形式方法系统》。设计。45,编号1,63--109(2014;Zbl 1317.68107) 全文: 内政部 链接
西蒙·富尔维奥·罗里尼;罗伯特·布鲁托梅索;娜塔莎·莎莉吉娜;阿里亚克西·齐托维奇 压缩和插值的防分辨率转换。 (英语) Zbl 1317.68123号 形式方法系统。设计。 45,第1期,1-41页(2014年).MSC公司:60年第68季度 03C40号 20层03 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Rollini}等人,《形式方法系统》。设计。45,第1号,1--41(2014;Zbl 1317.68123) 全文: 内政部 arXiv公司
阿伦·斯塔姆;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年;兹bl 1284.68521) 全文: 内政部
亚历山德罗·西马蒂;塞尔吉奥·莫弗;斯特凡诺·托内塔 混合系统基于SMT的场景验证。 (英语) Zbl 1284.03216号 形式方法系统。设计。 42,第1期,46-66(2013).MSC公司:05年3月 60年第68季度 68T20型 65年第68季度 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) 全文: 内政部
Christoph M.温特斯泰格。;尤塞夫·哈马迪;莱昂纳多·德·莫拉 有效求解量化位向量公式。 (英语) 兹比尔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) 全文: 内政部
克拉克·巴雷特;莱昂纳多·德·莫拉;阿伦·斯塔姆 第二届年度可满足性模理论竞赛(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) 全文: 内政部