×

找到37个文档(结果1-37)

单调理论中具有可证明复杂性的不变量推理。 (英语) Zbl 1524.68187号

Singh,Gagandeep(编辑)等人,《静态分析》。第29届国际研讨会,SAS 2022,新西兰奥克兰,2022年12月5-7日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13790, 201-226 (2022).
PDF格式BibTeX公司 XML格式引用

计算机辅助验证。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第二部分。 (英语) Zbl 1499.68026号

计算机科学课堂讲稿13372.查姆:施普林格(ISBN 978-3-031-13187-5/pbk;978-3-331-13188-2/电子书)。xix,549页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机辅助验证。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第一部分。 (英语) Zbl 1499.68025号

计算机科学课堂讲稿13371.查姆:施普林格(ISBN 978-3-031-13184-4/pbk;978-3-331-13185-1/电子书)。xix,第555页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

验证、模型检查和抽象解释。第22届国际会议,VMCAI 2021,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。 (英语) Zbl 1471.68017号

计算机科学课堂讲稿12597.查姆:施普林格(ISBN 978-3-030-67066-5/pbk;978-3-0030-67067-2/电子书)。十五、604页。(2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查中局部泛化的全局指导。 (英语) Zbl 1478.68167号

Lahiri、Shuvendu Kumar(编辑)等人,《计算机辅助验证》。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21日至24日。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12225, 101-125 (2020).
PDF格式BibTeX公司 XML格式引用

使用近似求解(\mathrm{LIA}^\star)。 (英语) Zbl 07228515号

Beyer,Dirk(编辑)等人,《验证、模型检查和抽象解释》。第21届国际会议,VMCAI 2020,美国洛杉矶新奥尔良,2020年1月16-21日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11990, 360-378 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

压缩阵列程序:通过归纳秩减少进行循环验证。 (英语) Zbl 07228504号

Beyer,Dirk(编辑)等人,《验证、模型检查和抽象解释》。第21届国际会议,VMCAI 2020,美国洛杉矶新奥尔良,2020年1月16-21日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11990, 112-135 (2020).
PDF格式BibTeX公司 XML格式引用

按需量词。 (英语) Zbl 1517.68239号

Lahiri,Shuvendu K.(编辑)等人,《验证和分析自动化技术》。第16届国际研讨会,2018年10月7日至10日,美国加利福尼亚州洛杉矶,ATVA 2018。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11138, 248-266 (2018).
PDF格式BibTeX公司 XML格式引用

通过顺序模型检查对并发程序进行模块化验证。 (英语) Zbl 1517.68249号

Lahiri,Shuvendu K.(编辑)等人,《验证和分析自动化技术》。第16届国际研讨会,2018年10月7日至10日,美国加利福尼亚州洛杉矶,ATVA 2018。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11138, 228-247 (2018).
PDF格式BibTeX公司 XML格式引用

用于合成的基于抽象的交互模型。 (英语) Zbl 1446.68034号

Dillig,Isil(编辑)等人,《验证、模型检查和抽象解释》。2018年1月7日至9日,第19届国际会议,VMCAI 2018,美国加利福尼亚州洛杉矶。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10747, 382-405 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于检查归纳不变量的有界量词实例化。 (英语) Zbl 1452.68119号

Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 76-95 (2017).
PDF格式BibTeX公司 XML格式引用

IC3–在ICE中翻转E。 (英语) Zbl 1484.68105号

Bouajjani,Ahmed(编辑)等人,《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10145, 521-538 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有N路分解和字母细化的自动循环假设保证推理。 (英语) Zbl 1411.68056号

Chaudhuri,Swarat(编辑)等人,《计算机辅助验证》。2016年7月17日至23日在加拿大安大略省多伦多举行的2016年CAV第28届国际会议。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。9779, 329-351 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

推断归纳不变量的决定性。 (英语) Zbl 1347.68234号

Bodik,Rastislav(编辑)等人,第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3549-2)。217-231 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

属性导向的抽象解释。 (英语) Zbl 1475.68192号

Jobstmann,Barbara(编辑)等人,《验证、模型检查和抽象解释》。2016年1月17日至19日,第17届国际会议,VMCAI 2016,美国佛罗里达州圣彼得堡。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9583, 104-123 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动循环假设保证推理。 (英语) Zbl 1427.68194号

Björner,Nikolaj(编辑)等人,FM 2015:形式方法。第20届国际研讨会,挪威奥斯陆,2015年6月24-26日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9109, 23-39 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

普适不变量的属性定向推理或证明其缺失。 (英语) Zbl 1381.68169号

Kroening,Daniel(编辑)等人,《计算机辅助验证》。第27届国际会议,CAV 2015,美国加利福尼亚州旧金山,2015年7月18日至24日。诉讼程序。第一部分:商会:施普林格出版社(ISBN 978-3-319-21689-8/pbk;978-3-319-21690-4/ebook)。计算机科学课堂讲稿9206583-602(2015)。
MSC公司:第68季度第60季度 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于静态规范挖掘的符号自动机。 (英语) Zbl 1344.68127号

Logozzo,Francesco(编辑)等人,《静态分析》。2013年6月20日至22日,第20届国际研讨会,SAS 2013,美国华盛顿州西雅图。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-38855-2/pbk)。计算机科学课堂讲稿7935,63-83(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用插值进行前向-后向可达性分析。 (英语) Zbl 1381.68184号

Piterman,Nir(编辑)等人,《系统构建和分析的工具和算法》。2013年3月16日至24日,第19届国际会议(TACAS 2013)在意大利罗马举行,作为欧洲软件理论与实践联合会议(ETAPS 2013)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-36741-0/pbk)。计算机科学课堂讲稿7795,308-323(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过抽象再定义对多值系统进行组合验证的框架。 (英语) Zbl 1262.68127号

刘志明(编辑)等,《验证和分析自动化技术》。2009年10月14日至16日,第七届国际研讨会,ATVA 2009,中国澳门。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04760-2/pbk)。计算机科学课堂讲稿5799,271-288(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

合成验证和3值抽象结合在一起。 (英语) Zbl 1211.68256号

Nielson、Hanne Riis(编辑)等,《静态分析》。2007年8月22日至24日,第14届国际研讨会,SAS,丹麦,Kongens Lyngby。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74060-5/pbk)。计算机科学课堂讲稿4634,69-86(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多值模型检验博弈。 (英语) Zbl 1170.68527号

Peled,Doron A.(编辑)等人,《验证和分析自动化技术》。2005年10月4日至7日,第三届国际研讨会,ATVA 2005,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29209-8/pbk)。计算机科学课堂讲稿3707354-369(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在\(\mu\)-演算中不知道。 (英语) Zbl 1112.68090号

Cousot,Radhia(编辑),验证,模型检查和抽象解释。第六届国际会议,VMCAI 2005,巴黎,法国,2005年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24297-X/pbk)。计算机科学讲座笔记3385,233-249(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

CTL的单调抽象重定义。 (英语) Zbl 1126.68487号

Jensen,Kurt(ed.)等人,《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004,作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21299-X/pbk)。计算机科学课堂讲稿2988546-560(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一个基于游戏的CTL反例和3值抽象重定义框架。 (英语) Zbl 1278.68195号

Hunt,Warren A.jun.(编辑)等人,《计算机辅助验证》。第15届国际会议,2003年CAV,美国科罗拉多州博尔德,2003年7月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。注释计算。科学。2725, 275-287 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段