×

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

模型检查软件。第28届国际研讨会,SPIN 2022,虚拟活动,2022年5月21日。诉讼程序。 (英语) Zbl 1499.68019号

计算机科学课堂讲稿13255.查姆:施普林格(ISBN 978-3-031-15076-0/pbk;978-3-331-15077-7/电子书)。九、153页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过证明生成实现一个可信的基于语义的语言框架。 (英语) Zbl 1493.68056号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12760, 477-499 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

匹配逻辑:(mathbb{K})框架的基础(特邀论文)。 (英语) Zbl 07649884号

Roggenbach,Markus(ed.)等人,第八届计算机科学中的代数和余代数会议,2019年CALCO,英国伦敦,2019月3日至6日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。139,第1条,第4页(2019年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

运行时验证过去的经验和未来的预测。 (英语) Zbl 1482.68140号

Steffen,Bernhard(编辑)等人,《计算与软件科学》。最先进的技术和观点。查姆:施普林格。莱克特。注释计算。科学。10000, 532-562 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过共创进行程序验证。 (英语) Zbl 1418.68060号

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

走向一个\(\mathbb{K}\)ool的未来。 (英语) Zbl 1475.68071号

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 325-343 (2016).
MSC公司:68甲19 68甲15 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

匹配逻辑–扩展摘要(邀请演讲)。 (英语) Zbl 1366.68027号

Fernández,Maribel(编辑),第26届重写技术和应用国际会议,RTA’13,波兰华沙,2015年6月29日至7月1日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-85-9)。LIPIcs–莱布尼茨国际信息学论文集36,5-21(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

K-Java:Java的完整语义。 (英语) Zbl 1346.68046号

第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录,2015年1月12日至18日,印度孟买,POPL’15。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3300-9)。445-456 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从重写逻辑,到编程语言语义,再到程序验证。 (英语) Zbl 1321.68337号

Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲座笔记9200,598-616(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言定义是重写理论。 (英语) Zbl 1356.68115号

圣地亚哥·埃斯科瓦尔(编辑),《重写逻辑及其应用》。2014年4月5日至6日,作为ETAPS的卫星活动,在法国格勒诺布尔举行了第十届WRLA国际研讨会。修改选定的论文。查姆:施普林格(ISBN 978-3-319-12903-7/pbk;978-3-316-12904-4/电子书)。计算机科学讲座笔记866397-112(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

全通可达性逻辑。 (英语) Zbl 1416.68052号

Dowek,Gilles(编辑),重写并键入lambda calculi。2014年7月14日至17日在奥地利维也纳举行的RTA-TLCA 2014联合国际会议,作为维也纳逻辑夏季的一部分,VSL 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8560, 425-440 (2014).
MSC公司:68号30 03B70号 68甲19 68问题55 68吨15
PDF格式BibTeX公司 XML格式引用

单程可达性逻辑。 (英语) Zbl 1366.68182号

2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-0-7695-5020-6)。358-367 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从白逻辑到匹配逻辑可达性。 (英语) Zbl 1372.68066号

Giannakopoulou,Dimitra(编辑)等人,FM 2012:形式方法。第18届国际研讨会,2012年8月27日至31日,法国巴黎。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32758-2/pbk)。计算机科学课堂讲稿7436387-402(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向操作语义和公理语义的统一理论。 (英语) Zbl 1367.68075号

Czumaj,Artur(编辑)等人,《自动化、语言和编程》。2012年7月9日至13日在英国考文垂举行的第39届国际学术讨论会,ICALP 2012。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-31584-8/pbk)。计算机科学课堂讲稿7392,351-363(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于图转换的\(mathbb{K}\)框架的真正并发语义。 (英语) Zbl 1367.68179号

Ehrig,Hartmut(编辑)等人,《图形变换》。2012年9月24日至29日在德国不来梅举行的2012年第六届国际燃气轮机大会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33653-9/pbk)。计算机科学课堂讲稿7562294-310(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

重写逻辑语义项目:进度报告。 (英语) 兹比尔1342.68198

Owe,Olaf(编辑)等人,《计算理论基础》。2011年8月22日至25日在挪威奥斯陆举行的FCT 2011第18届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22952-7/pbk)。计算机科学课堂讲稿6914,1-37(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

匹配逻辑:霍尔/弗洛伊德逻辑的替代方案。 (英语) Zbl 1308.68045号

Johnson,Michael(编辑)等人,《代数方法论和软件技术》。2010年6月23日至25日,加拿大魁北克省Lac-Beauport,AMAST 2010,第13届国际会议。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-17795-8/pbk)。计算机科学课堂讲稿6486142-162(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第七届重写逻辑及其应用国际研讨会论文集(WRLA 2008),匈牙利布达佩斯,2008年3月29日至30日。 (英语) Zbl 1279.68017号

理论计算机科学电子笔记238,第3条。阿姆斯特丹:爱思唯尔。第291页。,仅电子版(2009年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

圆共约:一个证明理论基础。 (英语) Zbl 1239.68067号

亚历山大·库兹(编辑)等人,《计算机科学中的代数和余代数》。第三届国际会议,2009年CALCO,意大利乌迪内,2009年9月7日至10日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03740-5/pbk)。《计算机科学讲义》5728、127-144(2009)。
MSC公司:68吨15 07年3月 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

类型推理的重写逻辑方法。 (英语) Zbl 1253.68211号

Corradini,Andrea(编辑)等人,代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-03428-2/pbk)。计算机科学课堂讲稿5486135-151(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参数化跟踪切片和监控。 (英语) Zbl 1234.68073号

Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记5505246-261(2009)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

作为证明策略的常规策略中国保监会. (英语) 兹比尔1279.68056

Giesl,J.(编辑),第七届改写和编程中的简化策略国际研讨会论文集(WRS 2007),法国巴黎,2007年6月25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记204,83-98(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

代数方法和软件技术。2008年7月28日至31日在美国伊利诺伊州乌尔班纳举行的2008年AMAST第12届国际会议。诉讼程序。 (英语) Zbl 1154.68019号

计算机科学课堂讲稿5140.柏林:施普林格出版社(ISBN 978-3-540-79979-5/pbk)。xiii,第432页。(2008).
MSC公司:68-06 68号30 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于语言定义和生成高效口译员的重写框架。 (英语) Zbl 1279.68116号

Denker,Grit(编辑)等人,第六届重写逻辑及其应用国际研讨会论文集(WRLA 2006),奥地利维也纳,2006年4月1日至2日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》176,第4期,215-231(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参数化和分段因果关系。 (英语) Zbl 1135.68468号

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

重写逻辑语义项目。 (英语) Zbl 1273.68211号

Peter Mosses等人,《结构操作语义学第二次研讨会论文集》(SOS 2005),葡萄牙里斯本,2005年7月10日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》156,第1期,27-56(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

参数和终端敏感控制相关性。 (英语) Zbl 1225.68070号

Yi,Kwangkeun(编辑),静态分析。2006年8月29日至31日,第13届国际研讨会,SAS 2006,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37756-6/pbk)。计算机科学讲义4134387-404(2006)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

通过执行的广义预测分析检测多线程程序中的错误。 (英语) Zbl 1461.68052号

Steffen,Martin(编辑)等人,开放式基于对象的分布式系统的形式化方法。2005年6月15日至17日在希腊雅典举行的第七届IFIP WG 6.1国际会议,FMOODS 2005。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。3535, 211-226 (2005).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

正式定义和验证主/从推测并行。 (英语) Zbl 1120.68302号

Fitzgerald,John(编辑)等人,FM 2005:正式方法。欧洲正式方法国际研讨会,英国纽卡斯尔,2005年7月18日至22日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27882-6/pbk)。计算机科学课堂讲稿3582123-138(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有效监控\(\omega \)-语言。 (英语) Zbl 1081.68050号

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

在包容性机构上构建隐藏信息模块。 (英语) Zbl 1278.68203号

Owe,Olaf(编辑)等人,从面向对象到形式化方法。纪念Ole-Johan Dahl的文章。柏林:施普林格出版社(ISBN 3-540-21366-X/pbk)。计算机科学课堂讲稿263596-123(2004)。
MSC公司:68问题65 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多线程程序的在线高效预测安全性分析。 (英语) Zbl 1126.68357号

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

重写逻辑语义:从语言规范到形式化分析工具。 (英语) Zbl 1126.68464号

David Basin(编辑)等人,《自动推理》。第二届国际联合会议,2004年7月4日至8日,爱尔兰科克,IJCAR 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22345-2/pbk)。计算机科学课程讲稿3097。人工智能课堂讲稿,1-44(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

JavaFAN中的正式JVM代码分析。 (英语) Zbl 1108.68382号

Rattray,Charles(编辑)等人,代数方法论和软件技术。2004年7月12日至16日在英国苏格兰斯特灵举行的第十届国际会议,AMAST 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22381-9/pbk)。计算机科学课堂讲稿3116132-147(2004)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

JavaFAN中Java程序的形式化分析。 (英语) Zbl 1103.68611号

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

证明状态估计程序的最佳性。 (英语) Zbl 1278.68193号

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

通过共归纳生成最优线性时序逻辑监控器。 (英语) Zbl 1215.68134号

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

合成安全性能监控器。 (英语) Zbl 1043.68534号

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

解释成员关系等式逻辑中的抽象解释。 (英语) Zbl 1268.68066号

van den Brand,Mark(编辑)等人,《规则》2001。2001年9月4日,意大利佛罗伦萨,第二届基于规则的编程国际研讨会会议记录(2001年PLI卫星活动)。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》59,第4期,271-285(2001)。
MSC公司:68号30 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

隐藏的同余演绎。 (英语) Zbl 0964.68083号

卡费拉、里卡多(编辑)等,《经典和非经典逻辑中的自动演绎》。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1761, 251-266 (2000).
PDF格式BibTeX公司 XML格式引用

隐藏更多的隐藏代数。 (英语) Zbl 0953.68094号

Jeannette M.Wing(编辑)等人,FM’99。形式化方法。计算系统开发中的形式化方法世界大会。1999年9月20日至24日,法国图卢兹。诉讼程序。在2卷中。柏林:施普林格出版社(ISBN 3-540-66587-0/vol1;3-540-665088-9/vol2)。莱克特。注释计算。科学。1708; 1709, 1704-1719 (1999).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份