×
罗马克里希南，C.R。（编辑）;雅各布·雷霍夫（编辑）

用于构建和分析系统的工具和算法。2008年3月29日至4月6日，作为欧洲软件理论和实践联合会议的一部分，第14届国际会议，TACAS 2008，在匈牙利布达佩斯举行。诉讼程序。 （英语） Zbl 1133.68009号

计算机科学课堂讲稿4963.柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。十六、518页。(2008).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。上一次会议已经过审查（参见Zbl 1116.68006号).
索引文章：
阿扎德·法尔赞；陈玉芳；埃德蒙·克拉克（Edmund M.Clarke）。；Tsay，Yih-Kuen；王，弯腰，将自动合成验证扩展到欧米伽正则语言的整个类，2-17[Zbl 1134.68406号]
马扬克省萨克塞纳；奥斯卡奖威布尔奖；本特·琼森，特设路由协议的图语法建模和验证，18-32[Zbl 1134.68418号]
埃德蒙·克拉克；穆拉利·塔卢普尔；赫尔穆特·维思，《证明托勒密的权利：模型检查并发系统的环境抽象框架》，33-47[Zbl 1134.68403号]
Barnat，J。；Brim，L。；西蒙切克，P。；韦伯，M。，重新检查电阻加快I/O效率LTL模型检查，48-62[Zbl 1134.68397号]
De Wulf，M。；Doyen，L。；梅奎特，N。；J.-F.拉斯金。，反链：LTL可满足性和模型检查的替代算法，63-77[Zbl 1134.68404号]
亚当·贝克韦尔（Adam Bakewell）；Dan R.吉卡。，基于游戏的软件模型检查的即时技术，78-92[Zbl 1134.68396号]
帕罗什·A·阿卜杜拉。；艾哈迈德·博阿贾尼；霍利克，卢卡什；丽莎·卡蒂（Lisa Kaati）；汤姆·沃纳，通过树自动机计算模拟。减少树自动机的有效技术。，第93页至第108页[Zbl 1134.68391号]
艾亚德·阿尔卡萨；诺伯特•希默（Norbert Schirmer）；阿特姆·斯塔罗斯汀，对寻呼机制进行正式的普遍验证，109-123[Zbl 1134.68394号]
Gal Katz；多龙·贝利德，基于模型检查的遗传编程及其互斥应用，141-156[Zbl 1134.68411号]
米盖尔·安德烈斯。；彼得·范·罗苏姆，概率和非确定性系统上的条件概率，157-172[Zbl 1134.68395号]
桑卡拉纳拉亚南，斯里拉姆；Dang，Thao；弗兰乔·伊万契奇，使用模板多面体检查混合系统的符号模型，188-202[Zbl 1134.68419号]
塞巴斯蒂安·库普弗施米德；霍夫曼，约格；Larsen，Kim G。，通过俄罗斯娃娃抽象进行快速定向模型检查，203-217[Zbl 1134.68412号]
阿米尔·本·阿姆拉姆（Amir M.Ben-Amram）。；迈克尔·科迪什，基于SAT的终止规模变化的方法，具有全球排名功能，218-232[Zbl 1134.68398号]
哈纳·乔克勒；Orna Grumberg；亚维·亚德加，高效自动STE细化使用责任，233-248[Zbl 1134.68401号]
劳拉·科瓦奇，关于P-可解循环的代数推理，249-264[Zbl 1134.68600号]
卡斯滕·伊勒曼（Carsten Ihlemann）；瑞典雅各布斯；维奥里卡Sofrone-Stokkerman，关于验证中的局部推理，265-281[Zbl 1134.68410号]
Lal，Akash；泰瑟·图利；基德，尼古拉斯；代表，托马斯，上下文约束下并发程序的跨过程分析，282-298[Zbl 1134.68349号]
萨尔瓦多拉托雷；Madhusudan，P。；Gennaro帕拉托，并发队列系统的上下文分析，299-314[Zbl 1134.68446号]
费斯曼，达纳；奥纳·库普夫曼；尤德·卢斯蒂格，关于验证分布式协议的容错性，315-331[Zbl 1134.68317号]
佩斯，戈登；杰拉尔多·施奈德，模型检查SPDI相图的计算和可视化，341-345[兹伯利1134.68417]
Tsay，Yih-Kuen；陈玉芳；蔡明勋；陈文钦；罗、池建，目标扩展：面向欧米伽自动机和时序逻辑的研究工具，346-350[Zbl 1134.68420号]
萨斯瓦特·阿南德；戈德弗罗伊德，帕特里斯；尼古拉·蒂尔曼，需求驱动的合成符号执行，367-381[Zbl 1134.68355号]
王超；杨紫江；Vineet Kahlon；阿尔蒂·古普塔，剥离部分阶缩减，382-396[Zbl 1134.68421号]
亚历山德罗·西马蒂；阿尔贝托·格里乔；罗伯托·塞巴斯蒂亚尼，可满足模理论中的高效插值生成，397-412[Zbl 1134.68402号]
麦克米兰，K.L。，使用插值饱和校准器的量化不变量生成，413-427[Zbl 1134.68416号]
尼古拉斯·卡尼亚特；伊曼纽尔·弗勒里（Emmanuel Fleury）；勒鲁，杰罗姆；马克·泽顿，加速基于插值的模型检查，428-442[Zbl 1134.68400号]
巴加夫S.古拉瓦尼。；查克拉博蒂，苏帕拉提克；阿迪蒂亚·诺里（Aditya V.Nori）。；Rajamani，Sriram K。，自动精炼抽象解释，443-458[Zbl 1134.68356号]
李国栋；康拉德·斯林德，总函数语言的可信源翻译，471-485[Zbl 1134.68491号]
米查·莫斯卡尔，SMT解决方案的火箭快速校对，486-500[Zbl 1134.68492号]

引用于1审查
引用于18文件

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
60年第68季度 规范和验证（程序逻辑、模型检查等）
00时25分 杂项特定利益的会议记录

引文：

Zbl 1116.68006号
PDF格式BibTeX公司 XML格式引用
\textit｛C.R.Ramakrishnan｝（编辑）和\textit｛J.Rehof｝（编辑），系统构建和分析的工具和算法。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（2008；Zbl 1133.68009）
全文： 内政部