×

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

使用异常处理对发布/订阅网络进行参数化验证。 (英语) 兹伯利07121140

Filiot,Emmanuel(编辑)等人,《可达性问题》。第十三届国际会议,RP 2019,比利时布鲁塞尔,2019年9月11-13日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11674, 107-120 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参数化系统中的数据跟踪。 (英语) Zbl 1457.68186号

Ganty,Pierre(编辑)等人,《值得信赖的全球计算》。2015年8月31日至9月1日,第十届国际研讨会,TGC 2015,西班牙马德里。修改选定的论文。查姆:施普林格。莱克特。注释计算。科学。9533, 32-46 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

2016年9月14日至16日,在意大利卡塔尼亚举行的第七届游戏、自动机、逻辑和形式验证国际研讨会会议记录。 (英语) Zbl 1436.68019号

理论计算机科学电子论文集(EPTCS)226.滑铁卢:开放出版协会(OPA)。315页。,仅电子版,开放存取(2016年)。
PDF格式BibTeX公司 XML格式引用

模型检查Paxos在Spin中。 (英语) Zbl 1464.68200号

Peron,Adriano(编辑)等人,第五届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2014,意大利维罗纳,2014年9月10-12日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)161、131-146(2014)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

具有全邻域运算的图变换系统的参数化验证。 (英语) Zbl 1448.68296号

Ouaknine,Joöl(编辑)等人,《可达性问题》。2014年9月22日至24日,英国牛津,RP 2014,第八届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8762, 72-84 (2014).
PDF格式BibTeX公司 XML格式引用

分布式广播协议的参数化验证和模型检查。 (英语) Zbl 1423.68276号

Giese,Holger(编辑)等人,《图形变换》。2014年7月22日至24日,作为2014年STAF的一部分,在英国约克举行了2014年第七届国际会议ICGT。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8571, 1-16 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

寄存器自动机广播网络的参数化验证。 (英语) Zbl 1355.68175号

Abdulla,Parosh Aziz(编辑)等,《可达性问题》。第七届国际研讨会,RP 2013,瑞典乌普萨拉,2013年9月24日至26日会议记录。柏林:施普林格出版社(ISBN 978-3-642-41035-2/pbk)。计算机科学课堂讲稿8169109-121(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

异步广播网络验证的可决定性和复杂性结果。 (英语) Zbl 1377.68130号

Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2013年4月2-5日在西班牙毕尔巴鄂举行的2013年拉丁美洲旅游协会第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-37063-2/pbk)。计算机科学课堂讲稿7810,238-249(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可重构广播网络中参数化可达性的复杂性。 (英语) Zbl 1354.68014号

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–莱布尼茨国际信息学论文集18289-300(2012)。
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格式引用
全文: 内政部

论派系在adhoc网络参数化验证中的作用。 (英语) 兹比尔1326.68040

马丁·霍夫曼(编辑),《软件科学和计算结构基础》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第14届国际会议FOSSACS 2011,是欧洲软件理论与实践联合会议ETAPS 2011的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19804-5/pbk)。计算机科学讲座笔记6604441-455(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

特设网络的参数化验证。 (英语) Zbl 1287.68106号

Gastin,Paul(编辑)等人,CONCUR 2010–并发理论。第21届国际会议,CONCUR 2010,法国巴黎,2010年8月31日至9月3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15374-7/pbk)。计算机科学课堂讲稿6269313-327(2010)。
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 1285.68030号

Dovier,Agostino(编辑)等人,《逻辑编程25年展望》。意大利逻辑编程协会的成就。柏林:施普林格出版社(ISBN 978-3-642-14308-3/pbk)。计算机科学课堂讲稿6125136-158(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在具有名称限制的移动环境中确定可达性。 (英语) Zbl 1347.68262号

Habermehl,P.(ed.)等人,第八、第九和第十届无限状态系统验证国际研讨会会议记录(INFINITY 2006、2007、2008),德国波恩,2006年8月26日,葡萄牙里斯本,2007年9月8日,加拿大多伦多,2008年8月23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记239,5-15(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 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 1138.68436号

Logozzo,Francesco(编辑)等人,《验证、模型检查和抽象解释》。第九届国际会议,2008年VMCAI,美国旧金山,2008年1月7日至9日。诉讼程序。柏林:施普林格出版社(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 1161.68617号

Graf,Susanne(编辑)等人,《验证和分析自动化技术》。2006年10月23日至26日,第四届国际研讨会,ATVA 2006,中国北京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-47237-7/pbk)。计算机科学课堂讲稿4218,415-429(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过约束求解对异步过程进行组合验证。 (英语) Zbl 1081.68646号

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

异步演算(扩展抽象)中控制可达性的符号过程。 (英语) Zbl 1271.68179号

Schnoebelen,P.(编辑),《2003年INFINITY会议录》,第五届无限状态系统验证国际研讨会,CONCUR 2003卫星研讨会,法国马赛2003年9月2日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记98,21-33(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

对时间敏感的加密协议进行自动验证。 (英语) Zbl 1126.68392号

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

用于调试安全协议的证明理论、转换和逻辑编程。 (英语) Zbl 1073.68572号

Pettorossi,Alberto(编辑),基于逻辑的程序合成和转换。2001年11月28日至30日,塞浦路斯帕福斯,第11次国际研讨会,LOPSTR 2001。精选论文。柏林:施普林格出版社(ISBN 3-540-43915-3)。莱克特。注释计算。科学。2372, 76-90 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

参数化同步系统的基于约束的模型检查。 (英语) Zbl 1057.68624号

亚历山德罗·阿曼多(编辑),《组合系统的前沿》。2002年4月8日至10日,第四次国际研讨会,FroCos 2002,意大利利古雷圣玛格丽塔。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43381-3)。莱克特。注释计算。科学。2309, 72-86 (2002).
MSC公司:第68季度第60季度 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 链接

超出参数化验证。 (英语) Zbl 1043.68565号

Katoen,Joost-Pieter(ed.)等人,《系统构建和分析的工具和算法》。第八届国际会议,TACAS 2002。2002年4月8日至12日,作为欧洲软件理论与实践联合会议的一部分,在法国格勒诺布尔举行。柏林:施普林格出版社(ISBN 3-540-43419-4)。莱克特。注释计算。科学。2280, 221-235 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

面向多线程Java程序的自动验证。 (英语) 兹比尔1043.68530

Katoen,Joost-Pieter(ed.)等人,《系统构建和分析的工具和算法》。第八届国际会议,TACAS 2002。2002年4月8日至12日,作为欧洲软件理论与实践联合会议的一部分,在法国格勒诺布尔举行。柏林:施普林格出版社(ISBN 3-540-43419-4)。莱克特。注释计算。科学。2280, 173-187 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

基于失效协议的算法验证。 (英语) Zbl 1010.68525号

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

论析取逻辑规划与线性逻辑规划的关系。 (英语) Zbl 1263.68043号

Dovier,Agostino(编辑)等人,《声明式编程》。2000年12月4日至6日,古巴哈瓦那AGP 2000论文集。诉讼程序。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记48,65-89(2001)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于验证多维参数化系统的断言语言(初步结果)。 (英语) Zbl 1262.68115号

理查德·迈尔(编辑),《VEPAS 2001》。参数化系统的验证(2001年ICALP卫星研讨会),希腊克里特岛,2001年7月13日。波塞丁斯。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记50,第4期,371-385(2001)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于约束的客户端-服务器协议验证。 (英语) Zbl 1067.68624号

Walsh,Toby(编辑),约束编程的原理和实践-CP 2001。第七届国际会议,2001年11月26日至12月1日,塞浦路斯帕福斯。诉讼程序。柏林:施普林格出版社(ISBN 3-540-42863-1)。莱克特。注释计算。科学。2239, 286-301 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

模型检查通信协议。 (英语) Zbl 1052.68630号

Pacholski,Leszek(编辑)等人,SOFSEM 2001:信息学理论与实践。2001年11月24日至12月1日,斯洛伐克共和国Piešt'any,第28届信息学理论和实践趋势会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-42912-3)。莱克特。注释计算。科学。2234, 160-170 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

攻击象征性的状态爆炸。 (英语) Zbl 0991.68554号

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

一阶线性逻辑程序的有效自下而上语义。 (英语) Zbl 0987.68857号

Kuchen,Herbert(编辑)等人,《函数和逻辑编程》。第五届国际研讨会,FLOPS 2001,日本东京,2001年3月7日至9日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2024年,138-152(2001)。
PDF格式BibTeX公司 XML格式引用

通过遗传哈洛普公式和(lambda)Prolog(一项案例研究)指定和调试安全协议。 (英语) Zbl 0977.68526号

Kuchen,Herbert(编辑)等人,《函数和逻辑编程》。第五届国际研讨会,FLOPS 2001,日本东京,2001年3月7日至9日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2024, 123-137 (2001).
MSC公司:68号30 68N17号
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份