×

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

概率总店铺订单。 (英语) Zbl 1528.68074号

谢尔盖,伊利亚(编辑),《编程语言和系统》。2022年4月2日至7日,在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13240, 317-345 (2022).
PDF格式BibTeX公司 XML格式引用

定期模型检查:演变和观点。 (英语) Zbl 1522.68291号

Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13030, 78-96 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用平面抽象解决非子串约束。 (英语) 兹比尔1520.68068

哦,Hakjoo(编辑),编程语言和系统。第19届亚洲研讨会,APLAS 2021,芝加哥,伊利诺伊州,美国,2021年10月17日至18日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13008, 305-320 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

PS 2.0下验证的可判定性。 (英语) Zbl 1474.68187号

Yoshida,Nobuko(编辑),《编程语言和系统》。2021年3月27日至4月1日,作为欧洲软件理论与实践联合会议(ETAPS 2021)的一部分,在卢森堡卢森堡市举行了第30届欧洲编程研讨会(ESOP 2021)。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12648, 1-29 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无链字符串约束。 (英语) Zbl 1437.68131号

Chen,Yu Fang(编辑)等人,用于验证和分析的自动化技术。2019年10月28日至31日,第17届国际研讨会,ATVA 2019,台湾台北。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11781, 277-293 (2019).
MSC公司:68兰特 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

验证定时异步程序。 (英语) Zbl 1528.68075号

Ganguly,Sumit(编辑)等人,第38届IARCS软件技术和理论计算机科学基础年会,2018年12月11-13日,印度艾哈迈达巴德,FSTTCS 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122,第8条,第16页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于并行形状分析的片段抽象。 (英语) Zbl 1418.68124号

阿马尔·艾哈迈德(编辑),《编程语言和系统》。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会(ESOP 2018),作为欧洲软件理论与实践联合会议的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10801, 442-471 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查参数化系统。 (英语) 兹比尔1392.68223

Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。685-725 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

数据多下推自动机。 (英语) Zbl 1442.68076号

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第38条,第17页(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

比较源集合和持久集合以进行部分降阶。 (英语) Zbl 1431.68062号

Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。10460, 516-536 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

反示例引导程序验证。 (英语) Zbl 1427.68157号

Fitzgerald,John(编辑)等,FM 2016:形式方法。第21届国际研讨会,2016年11月9日至11日,塞浦路斯利马索尔。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9995, 25-42 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有不可靠通道的数据通信过程。 (英语) Zbl 1401.68179号

2016年7月5日至8日,美国纽约州纽约市,2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集,2016年LICS。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4391-6)。166-175 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在TSO下验证并发程序的对偶性的好处。 (英语) Zbl 1392.68142号

Desharnais,Josée(编辑)等人,第27届并发理论国际会议,CONCUR 2016,加拿大魁北克市,2016年8月23日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-017-0)。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学论文集59,第5条,第15页(2016年)。
MSC公司:68号30 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

VASS诱导MDP的定性分析。 (英语) Zbl 1475.68199号

Jacobs,Bart(编辑)等人,《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9634, 319-334 (2016).
PDF格式BibTeX公司 XML格式引用

视图抽象–教程(特邀论文)。 (英语) Zbl 1429.68137号

André,Etienne(编辑)等人,第二届复杂参数合成国际研讨会,SynCoP’15,2015年4月11日,英国伦敦。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。44, 1-15 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

TSO和PSO的无状态模型检查。 (英语) Zbl 1420.68115号

Baier,Christel(编辑)等人,《系统构建和分析的工具和算法》。第21届国际会议,TACAS 2015,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2015,英国伦敦,2015年4月11日至18日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9035, 353-367 (2015).
PDF格式BibTeX公司 XML格式引用

动态寄存器自动机的验证。 (英语) Zbl 1360.68575号

Raman,Venkatesh(ed.)等人,第34届软件技术和理论计算机科学基础国际会议,FSTTCS 2014,印度新德里,2014年12月15日至17日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-77-4)。LIPIcs–莱布尼茨国际信息学论文集29,653-665(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最优动态部分降阶。 (英语) Zbl 1284.68377号

2014年1月22日至24日,美国加利福尼亚州圣地亚哥,POPL’14,第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2544-8)。373-384 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

所有这些都是为了几个(通过视图抽象进行参数化验证)。 (英语) Zbl 1426.68160号

Giacobazzi,Roberto(编辑)等人,《验证、模型检查和抽象解释》。第14届国际会议,2013年VMCAI,意大利罗马,2013年1月20日至22日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。7737, 476-495 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用SMT-solver分析消息传递程序。 (英语) Zbl 1410.68079号

Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。2013年10月15日至18日,第11届国际研讨会,2013年ATVA,越南河内。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8172, 272-286 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过扩展森林自动机验证具有有序数据的堆操作程序。 (英语) Zbl 1344.68135号

Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。2013年10月15日至18日,第11届国际研讨会,2013年ATVA,越南河内。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-02443-1/pbk)。计算机科学课堂讲稿8172224-239(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

求解整数向量上的奇偶博弈。 (英语) Zbl 1390.68452号

D'Argenio,Pedro R.(编辑)等,CONCUR 2013–并发理论。第24届国际会议,CONCUR 2013,阿根廷布宜诺斯艾利斯,2013年8月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-40183-1/pbk)。计算机科学课堂讲稿8052106-120(2013)。
PDF格式BibTeX公司 XML格式引用

一种用于高度并发数据结构的集成规范和验证技术。 (英语) Zbl 1381.68141号

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

密集时间下推自动机。 (英语) 兹比尔1360.68535

2012年6月25日至28日,克罗地亚杜布罗夫尼克,2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2012。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-0-7695-4769-5)。35-44 (2012).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定时有损信道系统。 (英语) Zbl 1354.68163号

D’Souza,Deepak(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2012)。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-47-7)。LIPIcs–莱布尼茨国际信息学论文集18,374-386(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有多重链接结构的程序的单调抽象。 (英语) Zbl 1348.68114号

Delzanno,Giorgio(编辑)等人,《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24287-8/pbk)。计算机科学课堂讲稿6945125-138(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于定时自组网的验证。 (英语) Zbl 1348.68115号

Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,256-270(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

把概率带到无限世界。 (英语) Zbl 1343.68149号

Katoen,Joost-Pieter(编辑)等,CONCUR 2011–并发理论。2011年9月6日至9日,第22届国际会议,CONCUR 2011,德国亚琛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学课程讲稿6901,1-16(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于构建和分析系统的工具和算法。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议(TACAS 2011),是欧洲软件理论与实践联合会议(ETAPS 2011)的一部分。诉讼程序。 (英语) Zbl 1213.68016号

计算机科学课堂讲稿6605.柏林:施普林格出版社(ISBN 978-3-642-19834-2/pbk)。十六、394页。(2011年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

约束单调抽象:用于参数化验证的CEGAR。 (英语) Zbl 1287.68117号

Gastin,Paul(编辑)等人,CONCUR 2010–并发理论。第21届国际会议,CONCUR 2010,法国巴黎,2010年8月31日至9月3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15374-7/pbk)。计算机科学课堂讲稿6269,86-101(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参数化验证中的强制单调性:从多集到单词。 (英语) Zbl 1274.68171号

van Leeuwen,Jan(编辑)等人,SOFSEM 2010:计算机科学的理论与实践。2010年1月23日至29日,第36届计算机科学理论与实践当前趋势会议,Špindlerův Ml \367]n,捷克共和国。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-11265-2/pbk)。计算机科学课堂讲稿5901,1-15(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有值复制的R自动机的普遍性。 (英语) Zbl 1347.68203号

Habermehl,P.(ed.)等人,第八、第九和第十届无限状态系统验证国际研讨会会议记录(INFINITY 2006、2007、2008),德国波恩,2006年8月26日,葡萄牙里斯本,2007年9月8日,加拿大多伦多,2008年8月23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记239131-141(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于目录的一致性协议的自动验证。 (英语) Zbl 1260.68224号

Bournez,Olivier(编辑)等人,《可达性问题》。第三次国际研讨会,RP 2009,2009年9月23日至25日,法国Palaiseau。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04419-9/pbk)。计算机科学讲义5797,36-50(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参数化验证中的单调抽象。 (英语) Zbl 1337.68164号

Halava,Vesa(编辑)等人,计算模型可达性问题第二次研讨会论文集(RP 2008),英国利物浦,2008年9月15日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记223,3-14(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

作用中的单调抽象。(分布式互斥算法的自动验证)。 (英语) Zbl 1161.68612号

Fitzgerald,John S.(编辑)等人,《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会,土耳其伊斯坦布尔,2008年9月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85761-7/pbk)。《计算机科学讲义》5160,50-65(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有动态内存堆的程序的单调抽象。 (英语) Zbl 1155.68423号

Gupta,Aarti(编辑)等人,《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议,CAV 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70543-7/pbk)。计算机科学课堂讲稿5123,341-354(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在树自动机上计算模拟。减少树自动机的有效技术。 (英语) Zbl 1134.68391号

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

处理具有非原子全局条件的参数化系统。 (英语) Zbl 1138.68436号

Logozzo,Francesco(编辑)等人,《验证、模型检查和抽象解释》。2008年1月7日至9日,第九届国际会议,VMCAI 2008,美国旧金山。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78162-2/pbk)。计算机科学课堂讲稿490522-36(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有全局条件的无限状态过程的参数化验证。 (英语) Zbl 1135.68461号

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

无传感器的定期模型检查(参数化系统的有效验证)。 (英语) Zbl 1186.68312号

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

通过向后可达性证明活跃性。 (英语) Zbl 1151.68498号

Baier,Christel(编辑)等人,CONCUR 2006–并发理论。第17届国际会议,CONCUR 2006,德国波恩,2006年8月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37376-6/pbk)。计算机科学讲义4137,95-109(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

封闭、开放和强健的定时网络。 (英语) Zbl 1272.68216号

Bradfield,Julian(编辑)等人,第六届无限状态系统验证国际研讨会论文集(INFINITY 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》138,第3期,117-151(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

参数化定时系统的验证。 (英语) Zbl 1175.68254号

Pettersson,Paul(编辑)等人,定时系统的形式化建模和分析。第三届国际会议,FORMATS 2005,乌普萨拉,瑞典,2005年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30946-2/pbk)。计算机科学课堂讲稿382995-97(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间自动机通过通道机器的可决定性和复杂性结果。 (英语) Zbl 1085.68078号

Caires,Luís(编辑)等人,《自动化,语言和编程》。2005年7月11日至15日,葡萄牙里斯本,第32届国际学术讨论会,ICALP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27580-0/pbk)。计算机科学课堂讲稿35801089-1101(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

树型传感器的基于仿真的迭代。 (英语) Zbl 1087.68052号

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

定期检查LTL(MSO)模型。 (英语) Zbl 1103.68070号

Alur,Rajeev(编辑)等人,《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22342-8/pbk)。计算机科学课堂讲稿3114348-360(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定期模型检查的调查。 (英语) Zbl 1099.68055号

Gardner,Philippa(编辑)等人,CONCUR 2004–并发理论。第15届国际会议,2004年8月31日至9月3日,英国伦敦。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22940-X/pbk)。计算机科学讲义317035-48(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间Petri网的前向可达性分析。 (英语) Zbl 1109.68509号

Lakhnech,Yassine(编辑)等人,《定时和容错系统的形式化技术、建模和分析》。2004年9月22日至24日在法国格勒诺布尔举行的关于时间系统的正式建模和分析、FORMATS 2004以及实时和容错系统中的正式技术的联合国际会议,FTRTFT 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23167-6/pbk)。计算机科学课堂讲稿3253343-362(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

稠密时间Petri网的Zenoness判定性、句法有界性和标记生存性。 (英语) Zbl 1117.68445号

Lodaya,Kamal(编辑)等人,FSTTCS 2004:软件技术和理论计算机科学基础。第24届国际会议,印度钦奈,2004年12月16-18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24058-6/pbk)。计算机科学课堂讲稿3328,58-70(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

常规模型检查的算法改进。 (英语) Zbl 1278.68150号

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

决定单调游戏。 (英语) Zbl 1116.68491号

Baaz,Matthias(编辑)等人,《计算机科学逻辑》。2003年8月25日至30日,第17届CSL国际研讨会,第12届EACSL年会,KGC 2003年第8届库尔特·哥德尔学术讨论会,奥地利维也纳。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40801-0/pbk)。莱克特。注释计算。科学。2803, 1-14 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

验证通信故障的概率系统。 (英语) Zbl 1029.68094号

Andrew D.Gordon(编辑),《软件科学和计算结构基础》。2003年4月7日至11日,第六届国际会议,FOSSACS 2003,作为欧洲软件理论和实践联合会议的一部分,ETAPS 2003,波兰华沙。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2620, 39-53 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 链接

定期模型检查简单高效。 (英语) Zbl 1012.68134号

Brim,Luboš(编辑)等人,CONCUR 2002-并发理论。第十三届国际会议,2002年8月20日至23日,捷克共和国布尔诺。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2421, 116-130 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

定期树模型检查。 (英语) Zbl 1010.68087号

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

概率有损信道系统的推理。 (英语) Zbl 0999.68145号

Palamidessi,Catuscia(编辑),CONCUR 2000-并发理论。2000年8月22日至25日,第11届国际会议,美国宾夕法尼亚州大学公园。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1877, 320-333 (2000).
PDF格式BibTeX公司 XML格式引用

无界Petri网的展开。 (英语) Zbl 0974.68528号

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

基于SAT求解器的符号可达性分析。 (英语) Zbl 0971.68633号

Graf,Susanne(编辑)等人,《系统构建和分析的工具和算法》。第六届国际会议,TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1785, 411-425 (2000).
PDF格式BibTeX公司 XML格式引用

通过结合抽象和可达性分析对无限状态系统进行验证。 (英语) Zbl 1046.68572号

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

在参数化系统验证中处理全局条件。 (英语) Zbl 1046.68573号

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

通道不可靠的程序存在无法确定的验证问题。 (英语) 兹比尔1418.68123

Abiteboul,Serge(编辑)等人,《自动化,语言和编程》。1994年7月11日至14日,以色列耶路撒冷,第21届国际学术讨论会,ICALP’94。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。820, 316-327 (1994).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份