×

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

在不确定性和假设条件下进行监控的符号运行时验证。 (英语) Zbl 1522.68326号

Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,ATVA 2022,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13505, 117-134 (2022).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

递归神经网络的属性定向验证和鲁棒性证明。 (英语) Zbl 1497.68311号

Hou,Zhe(编辑)等,验证和分析自动化技术。第19届国际研讨会,2021年10月18日至22日,澳大利亚昆士兰州黄金海岸,ATVA 2021。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12971, 364-380 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

TeSSLa:基于时间流的规范语言。 (英语) Zbl 1519.68130号

Massoni,Tiago(编辑)等人,《形式方法:基础和应用》。2018年11月26日至30日,巴西萨尔瓦多,第21届巴西研讨会,SBMF 2018。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11254, 144-162 (2018).
PDF格式BibTeX公司 XML格式引用

模型检查计算平面结构上的时序逻辑。 (英语) Zbl 1442.68105号

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

具有过去的正则线性时间逻辑。 (英语) Zbl 1273.03064号

Barthe,Gilles(编辑)等人,《验证、模型检验和抽象解释》。第11届国际会议,VMCAI 2010,马德里,西班牙,2010年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-11318-5/pbk)。计算机科学课堂讲稿5944295-311(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

不知道多值系统。 (英语) Zbl 1262.68106号

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

用Erlang的阶段法对随机系统进行抽象。 (英语) Zbl 1160.68469号

van Breugel,Franck(编辑)等人,CONCUR 2008–并发理论。第19届国际会议,CONCUR 2008,加拿大多伦多,2008年8月19-22日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85360-2/pbk)。计算机科学课堂讲稿5201,279-294(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

运行时验证中的公正预期。 (英语) 兹比尔1183.68367

Cha,Sungdeok(Steve)(编辑)等人,验证和分析自动化技术。2008年10月20日至23日,第六届国际研讨会,ATVA 2008,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-88386-9/pbk)。计算机科学课堂讲稿5311386-396(2008)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

学习与验证相结合。 (英语) Zbl 1147.68541号

de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。2006年11月7日至10日在荷兰阿姆斯特丹举行的2006年FMCO第五届国际研讨会。修订的讲座。柏林:施普林格出版社(ISBN 978-3-540-74791-8/pbk)。《计算机科学讲义》4709127-151(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

连续时间马氏链的三值抽象。 (英语) Zbl 1135.68476号

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

自动推断网络不变量。 (英语) Zbl 1222.68379号

Furbach,Ulrich(编辑)等人,《自动推理》。2006年8月17日至20日,第三届国际联合会议,IJCAR 2006,美国华盛顿州西雅图。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37187-8/pbk)。计算机科学讲义4130。人工智能课堂讲稿,483-497(2006)。
MSC公司:68T20型 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实时属性的监控。 (英语) Zbl 1177.68141号

Arun-Kumar,S.(编辑)等人,FSTTCS 2006:软件技术和理论计算机科学基础。第26届国际会议,印度加尔各答,2006年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-49994-7/pbk)。计算机科学课堂讲稿4337260-272(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在概率系统中不知道。 (英语) Zbl 1178.68341号

Valmari,Antti(编辑),模型检查软件。第十三届国际SPIN研讨会,奥地利维也纳,2006年3月30日至4月1日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-33102-6/pbk)。计算机科学课堂讲稿3925,71-88(2006)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

向上(Upp)DMC:一个分布式模型检查器,用于检查\(\mu\)-演算片段。 (英语) Zbl 1272.68257号

Brim,Luboš(ed.)等人,第三届平行和分布式验证方法国际研讨会论文集(PDMC 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》128,第3期,91-105(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

对Angluin学习的见解。 (英语) 兹比尔1272.68164

Etalle,S.(ed.)等人,《软件验证与确认国际研讨会论文集》(SVV 2003),印度孟买,2003年12月9日至13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记118,3-18(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

2004年9月4日,英国伦敦,第三届平行和分布式验证方法国际研讨会论文集(PDMC 2004)。 (英语) Zbl 1271.68026号

理论计算机科学电子笔记第128页,第3页。阿姆斯特丹:爱思唯尔。138页。,仅电子版(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)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实时系统的网络不变量。 (英语) Zbl 1271.68136号

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

验证概率程序的定性属性。 (英语) Zbl 1203.68094号

Baier,Christel(编辑)等人,《随机系统的验证》。当前研究指南。柏林:施普林格出版社(ISBN 3-540-22265-0/pbk)。计算机科学课堂讲稿2925124-146(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

事件记录自动机的学习。 (英语) Zbl 1109.68515号

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

并行模型检查长期贷款,CTL公司\(^*\)和\(L^2_{\mu}\)。 (英语) Zbl 1271.68142号

Sokolsky,Oleg(编辑)等人,PDMC 2003。2003年7月14日,美国科罗拉多州博尔德市,第二届并行和分布式模型检验国际研讨会(CAV’03卫星研讨会)会议记录。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》89,第1期,第4-16页(2003年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

模型检查概率分布式系统。 (英语) 兹比尔1215.68127

Saraswat,Vijay A.(编辑),《计算科学进展——ASIAN 2003》。编程语言和分布式计算。第八届亚洲计算科学会议,印度孟买,2003年12月10-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20632-9/pbk)。莱克特。注释计算。科学。2896, 291-304 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无交替演算的局部并行模型检验。 (英语) Zbl 1077.68680号

博什纳奇·德拉甘(编辑)等人,《模型检查软件》。第九届国际SPIN研讨会,法国格勒诺布尔,2002年4月11-13日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43477-1)。莱克特。注释计算。科学。2318, 128-147 (2002).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

扩展组合消息序列图。 (英语) 兹比尔1023.68005

Baaz,Matthias(编辑)等人,《编程逻辑、人工智能和推理》。第九届国际会议,2002年10月14日至18日,格鲁吉亚第比利斯,LPAR 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2514, 68-85 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

动态消息序列图。 (英语) Zbl 1027.68082号

Agrawal,Manindra(编辑)等人,FST TCS 2002:软件技术和理论计算机科学基础。第二十二届会议,印度坎普尔,2002年12月12日至14日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2556, 253-264 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

Truth/SLC–并发系统的并行验证平台。 (英语) Zbl 0991.68646号

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

无交互演算的并行模型检查。 (英语) Zbl 0986.68065号

Margaria,Tiziana(编辑)等,系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001,是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2031, 543-558 (2001).
PDF格式BibTeX公司 XML格式引用

在模型上检查同步硬件电路。 (英语) Zbl 0987.68044号

何继峰(编辑)等,《计算科学进展——2000年亚洲》。第六届亚洲计算科学会议,马来西亚槟城,2000年11月25-27日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1961, 182-198 (2000).
MSC公司:60年第68季度 94立方厘米 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用

重写逻辑作为通用验证工具的框架。 (英语) Zbl 0962.68080号

Futatsugi,Kokichi,第三届重写逻辑及其应用国际研讨会,RWLW。金泽市文化厅,金泽,日本,2000年9月18日至20日。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。36、17页,仅电子版(2000年)。
PDF格式BibTeX公司 XML格式引用

无交替演算和交替自动机的模型检验游戏。 (英语) 兹伯利0938.03053

Ganzinger,Harald(编辑)等人,《编程逻辑和自动推理》。第六届国际会议,1999年9月6日至10日,格鲁吉亚第比利斯LPAR’99。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1705, 77-91 (1999).
PDF格式BibTeX公司 XML格式引用

Truth–并发系统的验证平台。 (英语) 兹伯利0968.68527

Berghamer,Rudolf(ed.)等人,系统规范、开发和验证的工具支持。国际研讨会会议记录,德国马伦特,1998年6月1日至4日。维恩:施普林格。计算机科学进展。150-159 (1999).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

主字段