×

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

综合历史和预测变量进行符号模型检查。 (英语) Zbl 07728626号

Dragoi,Cezara(编辑)等人,《验证、模型检查和抽象解释》。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13881, 320-340 (2023).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用常春藤对可判定片段进行演绎验证。 (英语) Zbl 1511.68165号

安德烈亚斯·波德尔斯基(编辑),《静态分析》。2018年8月29日至31日在德国弗莱堡举行的2018年SAS第25届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11002, 43-55 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

学习程序综合的抽象。 (英语) Zbl 1511.68093号

Chockler,Hana(编辑)等人,《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议,CAV 2018,作为联邦逻辑会议的一部分。诉讼程序。第一部分:查姆:斯普林格公开赛。莱克特。注释计算。科学。10981, 407-426 (2018).
MSC公司:68号30 68T05型
PDF格式BibTeX公司 XML格式引用

渴望抽象符号模型检查。 (英语) 兹比尔1511.68164

Chockler,Hana(编辑)等人,《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议,CAV 2018,作为联邦逻辑会议的一部分。诉讼程序。第一部分:查姆:斯普林格公开赛。莱克特。注释计算。科学。10981, 191-208 (2018).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于程序验证的Horn子句求解器。 (英语) Zbl 1465.68044号

Beklemishev,Lev D.(编辑)等人,《逻辑与计算领域II》。尤里·古雷维奇75岁生日之际献给他的散文。查姆:斯普林格。莱克特。注释计算。科学。9300, 24-51 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

验证、模型检查和抽象解释。2014年1月19日至21日,第15届国际会议,VMCAI 2014,美国加利福尼亚州圣地亚哥。诉讼程序。 (英语) Zbl 1298.68031号

计算机科学课堂讲稿8318.柏林:施普林格出版社(ISBN 978-3-642-54012-7/pbk)。十八、493页。(2014年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过外推合成循环合成程序证明。 (英语) Zbl 1381.68057号

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

非析取抽象的抽象反例。 (英语) Zbl 1260.68234号

Bournez,Olivier(编辑)等人,《可达性问题》。2009年9月23日至25日,法国帕莱索,RP 2009第三届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04419-9/pbk)。计算机科学课堂讲稿5797176-188(2009)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

程序分析的相关性启发。 (英语) Zbl 1295.68065号

第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,2008年1月7日至12日,美国加利福尼亚州旧金山,POPL'08。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-59593-689-9)。145-146 (2008).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用插值饱和证明器的量化不变量生成。 (英语) Zbl 1134.68416号

Ramakrishnan,C.R.(编辑)等人,《系统构建和分析的工具和算法》。2008年3月29日至4月6日,作为欧洲软件理论和实践联合会议的一部分,第14届国际会议,TACAS 2008,在匈牙利布达佩斯举行。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78799-0/pbk)。计算机科学课堂讲稿4963413-427(2008)。
MSC公司:60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

插值和符号模型检查。 (英语) Zbl 1132.68474号

Cook,Byron(编辑)等人,《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69735-0/pbk)。计算机科学课堂讲稿4349,89-90(2007)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

成分验证的自动假设生成。 (英语) Zbl 1135.68473号

Damm,Werner(编辑)等人,《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73367-6/pbk)。计算机科学课堂讲稿4590420-432(2007)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从证明中提取数组。 (英语) Zbl 1135.68474号

Damm,Werner(编辑)等人,《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73367-6/pbk)。计算机科学讲座笔记4590193-206(2007)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

结合抽象精化和基于SAT的模型检查。 (英语) Zbl 1186.68274号

Grumberg,Orna(编辑)等人,《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007,是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71208-4/pbk)。计算机科学课堂讲稿4424405-419(2007)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无形不变量的活力。 (英语) Zbl 1225.68114号

Najm,Elie(编辑)等人,网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议,法国巴黎,2006年9月26-29日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-46219-4/pbk)。计算机科学课堂讲稿4229356-371(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用插值进行懒惰的抽象。 (英语) Zbl 1188.68196号

Ball,Thomas(编辑)等人,《计算机辅助验证》。2006年8月17日至20日在美国华盛顿州西雅图举行的2006年CAV第18届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-37406-X/pbk)。计算机科学讲义4144123-136(2006)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种实用且完整的谓词精化方法。 (英语) Zbl 1180.68118号

Hermanns,Holger(编辑)等人,《系统构建和分析的工具和算法》。2006年3月25日至4月2日在奥地利维也纳举行的第12届国际会议TACAS 2006,是欧洲软件理论与实践联合会议ETAPS 2006的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-33056-9/pbk)。计算机科学课堂讲稿3920459-473(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

工业环境中基于sAT的模型检查技术分析。 (英语) Zbl 1159.68307号

Borrione,Dominique(编辑)等人,《正确的硬件设计和验证方法》。第13届IFIP WG 10.5高级研究工作会议,CHARME 2005,德国萨尔布吕肯,2005年10月3日至6日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29105-9/pbk)。计算机科学课堂讲稿3725,254-268(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于插值的过渡关系近似。 (英语) Zbl 1081.68622号

Etessami,Kousha(编辑)等人,《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27231-3/pbk)。计算机科学课堂讲稿3576,39-51(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Craig插值在模型检验中的应用。 (英语) Zbl 1087.68597号

Halbwachs,Nicolas(编辑)等人,《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议,TACAS 2005,是欧洲软件理论与实践联合会议(ETAPS 2005)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25333-5/pbk)。计算机科学课堂讲稿3440,1-12(2005)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

证据摘要。 (英语) Zbl 1325.68147号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-729-X)。232-244 (2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于反例和基于证明的抽象的混合。 (英语) Zbl 1117.68420号

Hu,Alan J.(编辑)等,《计算机辅助设计中的形式化方法》。2004年11月15日至17日,第五届国际会议,FMCAD 2004,美国德克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23738-0/pbk)。计算机科学课堂讲稿3312260-274(2004)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

克雷格插值在模型检验中的应用。 (英语) 兹比尔1095.68610

Marcinkowski,Jerzy(编辑)等人,《计算机科学逻辑》。2004年9月20日至24日,第18届国际研讨会,CSL 2004,第13届EACSL年会,波兰卡尔帕茨。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23024-6/pbk)。计算机科学课堂讲稿3210,22-23(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

插值和基于SAT的模型检查。 (英语) Zbl 1278.68184号

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

克雷格插值和可达性分析。 (英语) Zbl 1067.68580号

Cousot,Radhia(编辑),静态分析。2003年6月11日至13日,第十届国际研讨会,SAS 2003,美国加利福尼亚州圣地亚哥。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40325-6/pbk)。莱克特。注释计算。科学。2694, 336 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 链接

不同有界模型检查技术的实验分析。 (英语) Zbl 1031.68541号

Garavle,Hubert(编辑)等人,《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2619, 34-48 (2003).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

无反例的自动抽象。 (英语) Zbl 1031.68520号

Garavle,Hubert(编辑)等人,《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2619, 2-17 (2003).
MSC公司:68号30 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 链接

SAT方法在无界符号模型检查中的应用。 (英语) 兹比尔1010.68509

Brinksma,Ed(编辑)等人,《计算机辅助验证》。2002年7月27日至31日,丹麦哥本哈根,第14届国际会议,CAV 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2404, 250-264 (2002).
MSC公司:60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 链接

通过组合模型检查对FLASH缓存一致性协议进行参数化验证。 (英语) Zbl 1002.68674号

Margaria,Tiziana(编辑)等人,《正确的硬件设计和验证方法》。第11届IFIP WG 10.5高级研究工作会议,CHARME 2001,苏格兰利文斯顿,英国,2001年9月4-7日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2144, 179-195 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

通过组合模型检查进行微体系结构验证。 (英语) Zbl 0991.68639号

Berry,Gérard(编辑)等人,《计算机辅助验证》。2001年7月18日至22日,第13届国际会议,CAV 2001,法国巴黎。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2102, 396-410 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

合成模型检查中的归纳。 (英语) Zbl 0974.68520号

Emerson,E.Allen(编辑)等人,《计算机辅助验证》。第十二届国际会议,CAV 2000。2000年7月15日至19日,美国伊利诺伊州芝加哥。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1855, 312-327 (2000).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

对称性和模型检查。 (英语) Zbl 0957.68064号

Inan,M.Kemal(编辑)等人,《数字和混合系统的验证》。《北约ASI会议记录》,土耳其安塔利亚,1997年5月26日至6月6日。柏林:斯普林格。北约ASI系列。,序列号。F、 计算。系统。科学。170, 152-162 (2000).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

组成系统和方法。 (英语) Zbl 0957.68063号

Inan,M.Kemal(编辑)等人,《数字和混合系统的验证》。《北约ASI会议记录》,土耳其安塔利亚,1997年5月26日至6月6日。柏林:斯普林格。北约ASI系列。,序列号。F、 计算。系统。科学。170, 138-151 (2000).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

符号模型检查。 (英语) 兹比尔0957.68062

Inan,M.Kemal(编辑)等人,《数字和混合系统的验证》。《北约ASI会议记录》,土耳其安塔利亚,1997年5月26日至6月6日。柏林:斯普林格。北约ASI系列。,序列号。F、 计算。系统。科学。170117-137(2000)中所述。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

时序逻辑和模型检查。 (英语) Zbl 1047.68603号

Inan,M.Kemal(编辑)等人,《数字和混合系统的验证》。《北约ASI会议记录》,土耳其安塔利亚,1997年5月26日至6月6日。柏林:施普林格出版社(ISBN 3-540-65595-6/hbk)。北约ASI系列。,序列号。F、 计算。系统。科学。170, 36-54 (2000).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

验证概述。 (英语) Zbl 0959.68081号

Inan,M.Kemal(编辑)等人,《数字和混合系统的验证》。《北约ASI会议记录》,土耳其安塔利亚,1997年5月26日至6月6日。柏林:斯普林格。北约ASI系列。,序列号。F、 计算。系统。科学。170, 3-13 (2000).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

延迟不敏感协议。 (英语) Zbl 1046.68585号

Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 123-133 (1999).
PDF格式BibTeX公司 XML格式引用

通过组合模型检查验证有限状态系统。 (英语) Zbl 0957.68068号

Pierre,Laurence(编辑)等人,《正确的硬件设计和验证方法》。第十届IFIP WG 10.5高级研究工作会议,CHARME’99,Bad Herrenalb,Germany,1999年9月27-29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1703, 219-233 (1999).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段