塞皮德·阿萨迪;马丁·布利查;安蒂·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许可证
帕维尔·扬契克;科夫罗,简;阿尔特,莱昂纳多;格里戈里·费迪尤科维奇;安蒂·E·J·海瓦·里宁。;娜塔莎·莎莉吉娜 在基于插值的模型检查中利用部分变量赋值。 (英语) Zbl 1425.68257号 形式方法系统。设计。 55,第1号,33-71(2019).MSC公司:60年第68季度 03C40号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Janík}等人,《形式方法系统》。设计。55,编号1,33--71(2019;Zbl 1425.68257) 全文: 内政部
弗朗西斯科·阿尔贝蒂;罗伯托·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;娜塔莎·莎莉吉娜 对带有数组的程序进行插值的惰性抽象的扩展。 (英语) 兹伯利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;兹bl 1317.68123) 全文: 内政部 arXiv公司
丹尼尔·克罗宁;莎里吉娜,娜塔莎;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。 使用状态和转换不变量的循环摘要。 (英语) Zbl 1291.68262号 形式方法系统。设计。 42,第3期,221-261(2013).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}等人,《形式方法系统》。设计。42,第3号,221--261(2013;Zbl 1291.68262) 全文: 内政部 链接
萨加·查基;埃德蒙·克拉克;娜塔莎·莎莉吉娜;尼尚·辛哈 通过组件可替换性分析验证不断发展的软件。 (英语) Zbl 1147.68047号 形式方法系统。设计。 32,第3期,235-266(2008).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人,《形式方法系统》。设计。32,编号3,235--266(2008;Zbl 1147.68047) 全文: 内政部 链接
埃德蒙·克拉克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜;凯伦·约拉夫 使用SAT对ANSI-C程序进行谓词抽象。 (英语) Zbl 1090.68022号 形式方法系统。设计。 25,编号2-3,105-127(2004).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人,《形式方法系统》。设计。25,编号2--3,105-127(2004;Zbl 1090.68022) 全文: 内政部