科马克·弗拉纳根（编辑）；巴巴拉·科尼格（编辑） 用于构建和分析系统的工具和算法。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012），是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。 （英语） Zbl 1238.68014号 计算机科学课堂讲稿7214.柏林：施普林格出版社（ISBN 978-3-642-28755-8/pbk）。xix，第560页。(2012). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 1213.68016号].索引文章：考克斯，阿伦；桑卡拉纳拉亚南，斯里拉姆；Chang，Bor-Yuh Evan先生，有点太精确了？量化数字滤波器的有界验证，33-47[兹比尔1352.68152]达席尔瓦，维杰；利奥波德·哈勒；Daniel Kroening；迈克尔·陶奇尼格，具有冲突驱动学习的数值边界分析，48-63[Zbl 1352.68060号]奥利弗·弗里德曼；马丁·兰格，基于Ramsey的奇偶自动机分析，64-78[Zbl 1352.68129号]安大略省Lengál；Šimáček，Jiří；汤姆·沃纳，VATA：高效操作非确定性树自动机的库，79-94[Zbl 1352.68135号]托马斯·巴比亚克；Křetínsk \345]，Mojmír；艾哈克，沃伊特；斯特雷切克，简，LTL到Büchi自动机的转换：快速且更具确定性，95-109[Zbl 1352.68142号]宋、傅；泰瑟·图利，按下模型检查恶意软件检测，110-125[Zbl 1352.68163号]弗雷德里克·朗；拉杜·马特埃斯库，使用标记过渡系统和布尔方程系统网络的部分模型检查，141-156[Zbl 1352.68158号]Albarghouthi，Aws；阿里·古芬克尔（Arie Gurfinkel）；玛莎·契契克，从欠近似到过近似再到反近似，157-172[Zbl 1352.68140号]阿卜杜拉（Abdulla）、帕罗什·阿齐兹（Parosh Aziz）；穆罕默德·法乌齐（Mohamed Faouzi Atig）；陈玉芳；Carl Leonardsson；艾哈迈德·雷兹，TSO下引导围栏插入的反例，204-219[Zbl 1352.68047号]金华峰；雅武兹·卡维奇（Tuba Yavuz-Kahveci）；贝弗利·A·桑德斯。，Java内存模型-软件模型检查，220-236[Zbl 1352.68054号]科内留·波皮亚（Corneliu Popeea）；安德烈·里巴尔琴科，多线程程序的组合终止证明，237-251[Zbl 1352.68067号]马吕斯·博兹加；Iosif，Radu；菲利普·科内钦，决定有条件终止，252-266[Zbl 1338.68046号]王安多；卡罗琳·塔尔科特；亚历山大·格尼（Alexander J.T.Gurney）。；Loo、Boon Thau；安德烈·斯克洛夫，BGP实例的基于约简的形式化分析，283-298[Zbl 1352.68021号]拉尔夫·威默（Ralf Wimmer）；尼尔斯·詹森；艾丽卡·阿尔布拉汉姆；贝恩德·贝克尔；Joost-Pieter卡托恩，离散时间马尔可夫模型的最小临界子系统，299-314[Zbl 1352.68167号]陈、陶璐；Forejt，Vojtěch；公司；玛尔塔·奎亚特科夫斯卡；戴维·帕克；西马提斯，艾斯蒂斯，竞争随机系统的自动验证，315-330[Zbl 1352.68150号]巴博特，贝努伊特；谢尔盖·哈达德；克劳迪娜·皮卡隆尼，用于统计模型检查的耦合和重要性抽样，331-346[Zbl 1352.68143号]霍尔兹尔，约翰内斯；托比亚斯·尼普科，验证pCTL模型检查，347-361[Zbl 1352.68154号]瑞典雅各布斯；罗德里克·布洛姆，参数化合成，362-376[Zbl 1352.68155号]芬克贝纳（Bernd Finkbeiner）；汉斯·约格·彼得，基于模板的定时系统控制器综合，392-406[Zbl 1352.68128号]William Sonnex；索菲亚·德罗索波卢；苏珊·艾森巴赫，Zeno：递归数据结构属性的自动证明程序，407-421[Zbl 1352.68216号]马蒂亚斯·乌尔布里奇；乌尔里希·盖尔曼；艾尔·加齐（El Ghazi），阿布巴克·阿赫拉夫（Aboubakr Achraf）；马纳·塔赫迪里，合金规范的校对助手，422-436[Zbl 1352.68166号]罗希特·查达；Madhusudan，P。；马赫什·维斯瓦纳坦，上下文锁定下的可访问性，437-450[Zbl 1352.68059号]艾哈迈德·博阿贾尼；迈克尔·埃米，消息传递程序的有界相位分析，451-465[Zbl 1352.68057号]梅尔滕、梅克；福尔克·豪尔；伯恩哈德·斯特芬；索菲亚·卡塞尔；本特·琼森，演示寄存器自动机的学习，466-471[Zbl 1352.68137号]玛格斯·维纳斯（Margus Veanes）；尼古拉·比约纳，符号自动机：工具箱，472-477[Zbl 1352.68138号]亚历山大·戴维；拉塞·雅各布森（Lasse Jacobsen）；莫滕·雅各布森；Jørgensen、Kenneth Yrke；莫勒，米凯尔·H·。；吉·斯尔巴，TAPAAL 2.0:时弧Petri网集成开发环境，492-497[Zbl 1352.68181号]西里尔·杰古尔；Legay，Axel；肖恩·塞德瓦兹，用于高性能统计模型检查的平台–PLASMA，498-503[Zbl 1352.68156号] 引用于1审查引用于2文件 MSC公司： 68-06 与计算机科学有关的论文集、会议、文集等 60年第68季度 规范和验证（程序逻辑、模型检查等） 00B25型 杂项特定利益的会议记录 引文：Zbl 1213.68016号 软件：CPA检查器；Uppaal公司；SLMC公司；增值税；金刚狼；有限责任公司；QuteRTL公司；高铁；F外壳 PDF格式BibTeX公司 XML格式引用 \textit{C.Flanagan}（编辑）和\textit{B.König}（编），系统构建和分析的工具和算法。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012），是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（2012；Zbl 1238.68014） 全文： DOI程序