塞皮德·阿萨迪;马丁·布利查;安蒂·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 1403.68123号 Piskac,Ruzica(编辑)等人,验证软件。理论、工具和实验。第十届国际会议,2018年7月18日至19日,英国牛津,VSTTE 2018。修改选定的论文。查姆:施普林格(ISBN 978-3-030-03591-4/pbk;978-3-0.30-03592-1/电子书)。计算机科学课堂讲稿11294,50-68(2018)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Even-Mendoza}等人,Lect。注释计算。科学。11294,50-68(2018;Zbl 1403.68123) 全文: 内政部
Sanjit A.Seshia。;娜塔莎·莎莉吉娜;斯塔夫罗斯·特里帕基斯 验证建模。 (英语) Zbl 1392.68264号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。75-105 (2018).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Seshia}等人,in:模型检查手册。查姆:施普林格。75-105(2018;Zbl 1392.68264) 全文: 内政部
弗朗西斯科·阿尔贝蒂;罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;娜塔莎·莎莉吉娜 带有数组的程序的惰性抽象的一种扩展,带有插值。 (英语) Zbl 1317.68107号 形式方法系统。设计。 45,第1期,63-109(2014).MSC公司:第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Alberti}等人,《形式方法系统》。设计。45,编号1,63--109(2014;Zbl 1317.68107) 全文: 内政部 链接
丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。 使用状态和转换不变量的循环摘要。 (英语) Zbl 1291.68262号 形式方法系统。设计。 42,第3期,221-261(2013).MSC公司:第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}等人,Form.Methods Syst。设计。42,第3号,221--261(2013;Zbl 1291.68262) 全文: 内政部 链接
奇亚拉·布拉金;娜塔莎·莎莉吉娜;凯特琳娜·巴罗内·阿德斯 一种基于模型检查的移动系统安全策略验证方法。 (英语) Zbl 1242.68153号 正式Asp。计算。 23,第5期,627-648(2011).MSC公司:第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Braghin}等人,《正式Asp》。计算。23,第5号,627--648(2011;Zbl 1242.68153) 全文: 内政部 哈尔
阿里亚克西·齐托维奇;娜塔莎·莎莉吉娜;Christoph M.温特斯泰格。;丹尼尔·克罗宁 回路总结和终止分析。 (英语) Zbl 1315.68106号 Abdulla,Parosh Aziz(编辑)等人,《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议(TACAS 2011),是欧洲软件理论与实践联合会议(ETAPS 2011)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19834-2/pbk)。计算机科学讲座笔记660581-95(2011)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Tsitovich}等人,Lect。注释计算。科学。660581-95(2011年;Zbl 1315.68106) 全文: 内政部
丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。 使用抽象变换器的循环摘要。 (英语) Zbl 1183.68377号 Cha,Sungdeok(Steve)(编辑)等人,验证和分析自动化技术。2008年10月20日至23日,第六届国际研讨会,ATVA 2008,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-88386-9/pbk)。计算机科学课堂讲稿53111-125(2008)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}等人,Lect。注释计算。科学。531111-125(2008年;兹bl 1183.68377) 全文: 内政部
萨加·查基;埃德蒙·克拉克;娜塔莎·莎莉吉娜;尼尚·辛哈 通过组件可替换性分析验证不断发展的软件。 (英语) Zbl 1147.68047号 形式方法系统。设计。 32,第3期,235-266(2008).MSC公司:第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人,《形式方法系统》。设计。32,编号3,235--266(2008;Zbl 1147.68047) 全文: 内政部 链接
拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜 使用无限线程创建验证布尔程序。 (英语) Zbl 1143.68043号 西奥。计算。科学。 388,编号1-3,227-242(2007).MSC公司:第68季度第60季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人,Theor。计算。科学。388,编号1--3,227--242(2007;Zbl 1143.68043) 全文: 内政部