×

找到172个文档(结果1-100)

利用逻辑谜题中的不对称性:使用ZDDs进行符号模型检查动态认知逻辑。 (英语) 兹比尔07810630

Verbrugge,Rineke(编辑),《第十九届理性与知识理论方面会议记录》,TARK,英国牛津,2023年6月28日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)379407-420(2023年)。
MSC公司:03年XX月 68T27型
PDF格式BibTeX公司 XML格式引用

可达性的决策图操作。 (英语) Zbl 07728860号

Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 514-532 (2023).
PDF格式BibTeX公司 XML格式引用

回合制随机博弈的符号验证和策略综合。 (英语) Zbl 1528.68229号

Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 388-406 (2022).
PDF格式BibTeX公司 XML格式引用

奇偶博弈和嵌套不动点的通用算法。 (英语) Zbl 1528.68404号

Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 252-271 (2022).
PDF格式BibTeX公司 XML格式引用

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

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

懒散的常规感应。 (英语) Zbl 07643470号

Han,Yo-Sub(编辑)等,形式系统的描述复杂性。第24届IFIP工作组1.02国际会议,DCFS 2022,Debrecen,Hungary,2022年8月29日至31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13439, 155-169 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动驱动的部分订单缩减和LTL模型检查的引导搜索。 (英语) Zbl 1498.68160号

Finkbeiner,Bernd(编辑)等人,《验证、模型检查和抽象解释》。第23届国际会议,VMCAI 2022,费城,宾夕法尼亚州,美国,2022年1月16日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13182, 151-173 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用RESOLVE框架对Java组件进行形式化验证。 (英语) Zbl 07497928号

Konev,Boris(编辑)等人,《组合系统的前沿》。第十三届国际研讨会,FroCoS 2021,英国伯明翰,2021年9月8-10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12941, 287-305 (2021).
MSC公司:68泰克
PDF格式BibTeX公司 XML格式引用
全文: 内政部

改进分支和绑定MDD求解器的过滤。 (英语) Zbl 07493632号

Stuckey,Peter J.(编辑),约束编程、人工智能和运筹学的集成。第18届国际会议,2021年7月5日至8日,奥地利维也纳,CPAIOR 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12735, 231-247 (2021).
MSC公司:68T20型 90C27型
PDF格式BibTeX公司 XML格式引用

符号彩色SCC分解。 (英语) Zbl 1474.68210号

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12652, 64-83 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用基于BDD的SAT解算器生成扩展的分辨率证明。 (英语) Zbl 1467.68203号

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12651, 76-93 (2021).
PDF格式BibTeX公司 XML格式引用

用于CTL和ECTL的单程基于上下文的表格辅助系统。 (英语) Zbl 07760484号

穆尼奥斯·韦拉斯科,埃米利奥(编辑)等人,第27届时间表征和推理国际研讨会。《时代》2020,2020年9月23日至25日,意大利Bozen-Bolzano。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。178,第14条,第20页(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

部分订单减少,用于同步硬件中的深度错误查找。 (英语) Zbl 1507.68194号

Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 367-386 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

产生获胜策略的象征性平价游戏求解器。 (英语) Zbl 07455738号

Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)326,18-32(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

用条件局部性增强饱和度:在Petri网中的应用。 (英语) Zbl 07796231号

Donatelli,Susanna(编辑)等人,《Petri网和并发的应用和理论》。第40届国际会议,2019年6月23日至28日,德国亚琛,PETRI NETS 2019,会议记录。查姆:斯普林格。莱克特。注释计算。科学。11522342-361(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

共享变量并发程序的组合推理。 (英语) Zbl 1460.68067号

Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10951, 523-541 (2018).
PDF格式BibTeX公司 XML格式引用

重新排序规则使OBDD证明系统更强大。 (英语) Zbl 1441.03042号

Servedio,Rocco A.(编辑),第33届计算复杂性会议,CCC 2018,2018年6月22日至24日,美国加利福尼亚州圣地亚哥。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。102,第16条,第24页(2018年)。
MSC公司:20层03 68第05页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非布尔域中的符号模型检查。 (英语) Zbl 1392.68259号

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

关于确定性和非确定性有限自动机中的活动状态数。 (英语) 兹比尔1489.68121

Carayol,Arnaud(编辑)等人,《自动机的实现和应用》。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10329, 40-51 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过Horn约束求解实现高效的CTL验证。 (英语) Zbl 1482.68134号

Gallagher,John P.(编辑)等人,《验证和合成Horn条款第三次研讨会论文集》,HCVS 2016,荷兰埃因霍温,2016年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)2191-14(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

时间并发约束编程的符号模型。 (英语) Zbl 1342.68222号

Ayala-Rincón,Mauricio(编辑)等人,《逻辑和语义框架及其应用第九次研讨会论文集》(LSFA 2014),巴西巴西利亚,2014年9月8日至9日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记312161-177,仅电子版(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交替投影时序逻辑的符号模型检查。 (英语) Zbl 1473.68108号

Lu,Zaixin(编辑)等,组合优化与应用。第九届国际会议,COCOA 2015,美国德克萨斯州休斯顿,2015年12月18-20日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9486, 481-495 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于随机OBDD的图形算法。 (英语) Zbl 1407.68532号

Christian Scheidler(编辑),《结构信息和通信复杂性》。2015年7月14日至16日,西班牙蒙特塞拉特,第22届国际学术讨论会,SIROCCO 2015。诉讼后。查姆:斯普林格。莱克特。注释计算。科学。9439, 254-269 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

红绿灯控制系统的有界模型检验。 (英语) Zbl 1351.68169号

薛进云(编辑)等,第六届软件工具支持理论利用国际研讨会论文集(TTSS 2013),中国南昌,2013年10月27日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记309,63-74,仅电子版(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

生物系统的模型检查。 (英语) Zbl 1380.92024号

Bernardo,Marco(编辑)等人,动力系统的形式化方法。2013年6月17日至22日,意大利贝蒂诺罗,第13所计算机、通信和软件系统正式设计方法国际学校,SFM 2013。高级讲座。柏林:施普林格出版社(ISBN 978-3-642-38873-6/pbk)。计算机科学课堂讲稿7938,63-112(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有完全召回的多智能体系统模型检测时间复杂度的指数改进。 (英语。俄文原件) Zbl 1257.68151号

程序。计算。柔和。 38,第6期,294-303(2012); 译自Programmirovanie 38,No.6(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于组件的系统的运行时验证。 (英语) Zbl 1350.68060号

Barthe,Gilles(编辑)等人,《软件工程和形式化方法》。2011年11月14日至18日,乌拉圭蒙得维的亚,2011年SEFM第九届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24689-0/pbk)。计算机科学课堂讲稿7041204-220(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率特性的统计验证,直到。 (英语) Zbl 1325.68158号

Davies,Jim(编辑)等人,《形式方法:基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会,SBMF 2010。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-19828-1/pbk)。计算机科学课堂讲稿6527144-160(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

B的定向模型检查:一种评估和新技术。 (英语) Zbl 1325.68153号

Davies,Jim(编辑)等人,《形式方法:基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会,SBMF 2010。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-19828-1/pbk)。计算机科学课堂讲稿6527,1-16(2011)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于SAT的模型检查,无需展开。 (英语) Zbl 1317.68109号

Jhala,Ranjit(编辑)等人,《验证、模型检查和抽象解释》。2011年1月23日至25日,第12届国际会议,VMCAI 2011,美国德克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18274-7/pbk)。计算机科学课堂讲稿6538,70-87(2011)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过过滤进行控制器/编配器合成。 (英语) Zbl 1345.68227号

Bolander,Thomas(编辑)等人,《第六届模式方法研讨会论文集》(M4M-6 2009),丹麦哥本哈根,2009年11月12-14日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》262,33-48(2010)。
MSC公司:68问题85 03B45号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种动态构造形式模型状态抽象的自动方法。 (英语。俄文原件) Zbl 1288.68166号

赛博。系统。分析。 46,第4期,583-601(2010); 翻译自Kibern。修女。分析。2010年,第4期,70-90(2010)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

VRS系统的谓词变换器的属性。 (英语。俄文原件) Zbl 1288.68167号

赛博。系统。分析。 46,第4期,521-532(2010); 翻译自Kibern。修女。分析。2010年,第4期,第3-16页(2010年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图形转换的边缘——用于行为规范的图形。 (英语) Zbl 1309.68112号

Gregor(编辑)Engels等人,《图形转换和模型驱动工程》,在Manfred Nagl 65岁生日之际发表的论文。柏林:施普林格出版社(ISBN 978-3-642-17321-9/pbk)。计算机科学课堂讲稿5765,6-32(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率系统线性时间特性的模型检验。 (英语) Zbl 1484.68095号

Droste,Manfred(编辑)等人,《加权自动机手册》。柏林:斯普林格。单声道。理论。计算。科学。,EATCS系列。,519-570 (2009).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

产品形态CTMC的成分模型检查。 (英语) Zbl 1339.68163号

Michael Goldsmith(编辑)等人,《关键系统自动验证第七届国际研讨会论文集》(AVoCS 2007),英国牛津,2007年9月10日至12日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》250,第1期,21-37(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于自动添加容错性的最弱不变量生成。 (英语) Zbl 1294.68048号

Marcus,Leo(编辑),容错逻辑方面研讨会论文集(LAFT 2009),美国加利福尼亚州洛杉矶,2009年8月15日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》258,第2期,3-15页(2009年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从哲学到工业逻辑。 (英语) Zbl 1209.68325号

Ramanujam,R.(编辑)等人,《逻辑及其应用》。2009年1月7日至11日,第三届印度会议,ICLA 2009,印度钦奈。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-92700-6/pbk)。计算机科学讲义5378。人工智能课堂讲稿,89-115(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

部分Kripke结构的有界模型检查。 (英语) Zbl 1161.68589号

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

模型检查的诞生。 (英语) 兹比尔1142.68046

Grumberg,Orna(编辑)等人,25年的模型检查。历史、成就、观点。柏林:施普林格出版社(ISBN 978-3-540-69849-4/pbk)。计算机科学课堂讲稿5000,1-26(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

软件