亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;马尔科·罗弗里;斯特凡诺·托内塔 验证模理论。 (英语) Zbl 07757158号 形式方法系统。设计。 60,第3期,452-481(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《表格方法系统》。设计。60,编号3,452--481(2022;Zbl 07757158) 全文: DOI程序 OA许可证
凯兹,盖伊;克拉克·巴雷特;大卫·L·迪尔。;凯尔·朱利安;Mykel J.Kochenderfer。 Reluplex:关于深层神经网络的推理演算。 (英语) Zbl 1522.68328号 形式方法系统。设计。 60,编号1,87-116(2022).MSC公司:60年第68季度 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{G.Katz}等人,《形式方法系统》。设计。60,编号1,87--116(2022;Zbl 1522.68328) 全文: DOI程序
马丁·科尔布尔;斯特凡·洛伊;托马斯·怀斯 定时系统的自动修复。 (英语) Zbl 1522.68366号 形式方法系统。设计。 59,编号1-3,136-169(2021).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kölbl}等人,《形式方法系统》。设计。59,编号1--3,136-169(2021;Zbl 1522.68366) 全文: DOI程序
费斯曼,达纳(编辑);里沙布·辛格(编辑);阿曼多·索拉勒扎马(编辑) 语法指导合成前言专刊。 (英语) 1490.00032兹罗提 形式方法系统。设计。 58,第3号,469-470(2021).MSC公司:00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}(编辑)等,《形式方法系统》。设计。58,第3号,469--470(2021;Zbl 1490.00032) 全文: DOI程序
彼得·贝克曼;菲利普·吕默;Aleksandar Zeljić 使用未解释的谓词和Presburger算法插值位向量公式。 (英语) Zbl 1522.68142号 形式方法系统。设计。 57,第2期,121-156(2021).MSC公司:68号30 03B70号 03C10号机组 30楼03号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Backeman}等人,《形式方法系统》。设计。57,编号2121-156(2021;兹bl 1522.68142) 全文: DOI程序
艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 利用可逆条件求解量化位向量约束。 (英语) Zbl 1519.68236号 形式方法系统。设计。 57,编号1,87-115(2021).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Niemetz}等人,《形式方法系统》。设计。57,编号1,87--115(2021;Zbl 1519.68236) 全文: DOI程序 arXiv公司
哈娜·乔克勒(编辑);乔治·威森巴赫(编辑) 2018年计算机辅助验证会议特刊前言。 (英语) Zbl 1519.68003号 形式方法系统。设计。 57,第1期,第1-2期(2021年).MSC公司:68-06 60年第68季度 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}(编辑)和\textit{G.Weissenbacher}(主编),《形式方法系统》。设计。57,编号1,1--2(2021;兹bl 1519.68003) 全文: DOI程序
安德鲁·雷诺兹;维克多·昆卡;塞萨尔·蒂内利;克拉克·巴雷特;Deters,摩根 SMT中基于反驳的合成。 (英语) Zbl 1427.68051号 形式方法系统。设计。 55,第2期,73-102(2019).MSC公司:68号30 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人,《形式方法系统》。设计。55,编号2,73-102(2019;Zbl 1427.68051) 全文: DOI程序
亚历山大·米利切维奇;约瑟夫·P·奈尔(Joseph P.Near)。;康,恩苏克;丹尼尔·杰克逊 合金*:通用高阶关系约束求解器。 (英语) Zbl 1425.68264号 形式方法系统。设计。 55,第1期,第1-32页(2019年).MSC公司:60年第68季度 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Milicevic}等人,《形式方法系统》。设计。55,编号1,1--32(2019;Zbl 1425.68264) 全文: DOI程序 链接
F.阿尔贝蒂。;吉拉迪,S。;E.帕加尼。 阵列的基数约束(可判定性结果和应用)。 (英语) Zbl 1377.68125号 形式方法系统。设计。 51,第3期,545-574(2017).MSC公司:60年第68季度 03B70号 65年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{F.Alberti}等人,Form.Methods Syst。设计。51,第3号,545--574(2017;Zbl 1377.68125) 全文: DOI程序
安德鲁·雷诺兹;金,蒂姆;维克多·昆卡 通过反例引导实例化求解量化线性算法。 (英语) 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) 全文: DOI程序 链接
董武轩;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) 全文: DOI程序
尤利娅·德米扬诺娃;帕尼,托马斯;赫尔穆特·维思;佛罗里达州祖列格 验证工具基准测试的经验软件度量。 (英语) Zbl 1360.68371号 形式方法系统。设计。 50,编号2-3,289-316(2017).MSC公司:68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Demyanova}等人,《表格方法系统》。设计。50、编号2--3、289--316(2017;Zbl 1360.68371) 全文: DOI程序
阿什什·蒂瓦里;帕特里克·林肯 非线性实数算法的基于搜索的过程。 (英语) Zbl 1358.68149号 形式方法系统。设计。 48,第3期,257-273(2016).MSC公司:65年第68季度 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Tiwari}和\textit{P.Lincoln},《形式方法系统》。设计。48,第3号,257--273(2016;Zbl 1358.68149) 全文: DOI程序
梁天一;安德鲁·雷诺兹;内斯塔·齐斯卡里泽;塞萨尔·蒂内利;克拉克·巴雷特;Deters,摩根 字符串约束的高效SMT解算器。 (英语) Zbl 1404.68135号 形式方法系统。设计。 48,第3期,206-234(2016).MSC公司:68吨15 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Liang}等人,《形式方法系统》。设计。48,第3号,206--234(2016;Zbl 1404.68135) 全文: DOI程序
安维什·科穆拉维利;阿里·古芬克尔;萨加·查基 递归程序的基于SMT的模型检查。 (英语) Zbl 1358.68072号 形式方法系统。设计。 48,第3期,175-205(2016).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Komuravelli}等人,《形式方法系统》。设计。48,第3号,175-205(2016年;兹bl 1358.68072) 全文: DOI程序 arXiv公司
安德烈亚斯·鲍尔;简·克里斯托普·库斯特;Gil Vegliach公司 一阶运行时验证的输入和输出。 (英语) Zbl 1341.68116号 形式方法系统。设计。 46,第3期,286-316(2015).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer}等人,《形式方法系统》。设计。46,第3号,286--316(2015;Zbl 1341.68116) 全文: DOI程序
布莱恩,马丁;维杰·德·席尔瓦;阿尔贝托·格里乔;利奥波德·哈勒;丹尼尔·克罗宁 利用抽象冲突驱动子句学习确定浮点逻辑。 (英语) Zbl 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) 全文: DOI程序
弗朗西斯科·阿尔贝蒂;罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;娜塔莎·莎莉吉娜 对带有数组的程序进行插值的惰性抽象的扩展。 (英语) 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) 全文: DOI程序 链接
西蒙·富尔维奥·罗里尼;罗伯特·布鲁托梅索;娜塔莎·莎莉吉娜;阿里亚克西·齐托维奇 压缩和插值的防分辨率转换。 (英语) 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) 全文: DOI程序 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;Zbl 1284.68521) 全文: DOI程序
约万诺维奇,德扬;克拉克·巴雷特 注意理论结合。 (英语) Zbl 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;Zbl 1284.68518) 全文: DOI程序
西尔维奥·兰伊斯 具有有效命题逻辑的符号后向可达性。应用于安全策略分析。 (英语) 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) 全文: DOI程序
Christoph M.温特斯泰格。;优素福·哈马迪;莱昂纳多·德·莫拉 有效求解量化位向量公式。 (英语) 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) 全文: DOI程序
克拉克·巴雷特;莱昂纳多·德·莫拉;阿伦·斯塔姆 第二届年度可满足性模理论竞赛(SMT-COMP 2006)的设计和结果。 (英语) Zbl 1129.68498号 形式方法系统。设计。 第3221-239号第31页(2007年).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人,《形式方法系统》。设计。31,第3号,221--239(2007;Zbl 1129.68498) 全文: DOI程序