Legay、Axel（编辑）;蒂齐亚娜·玛格丽亚（编辑） 用于构建和分析系统的工具和算法。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分。 （英语） Zbl 1360.68015号 计算机科学课堂讲稿10205.柏林：施普林格出版社（ISBN 978-3-662-54576-8/pbk；978-3-562-54577-5/电子书）。xxiv，609页。(2017). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1360.68008号]. 本次会议议事录第二部分见[Zbl 1360.68016号].索引文章：奥坎桑库尔；Jean-Pierre塔宾，领导选举协议参数化模型检查的抽象技术：在FTSP中的应用，23-40[Zbl 1452.68026号]亚历山德罗·西马蒂；阿尔贝托·格里乔；艾哈迈德·艾尔凡；马尔科·罗弗里；罗伯托·塞巴斯蒂亚尼，通过使用EUF增量减少LRA，对NRA过渡系统进行不变性检查，58-75[Zbl 1452.68116号]Yotam M.Y.费尔德曼。；奥德·帕顿；尼尔·伊梅尔曼；穆利·萨吉夫；沙龙·肖姆，用于检查归纳不变量的有界量词实例化，76-95[Zbl 1452.68119号]克里斯蒂娜·博拉莱拉斯；马克·布罗克施米特（Marc Brockschmidt）；丹尼尔·拉拉兹（Daniel Larraz）；阿尔伯特·奥利弗拉斯（Albert Oliveras）；罗德里格斯-卡博内尔（Rodríguez-Carbonell），恩里克（Enric）；阿尔伯特·鲁比奥，通过有条件终止证明终止，99-117[Zbl 1452.68046号]Samuel Drews；洛丽斯·达安东尼，学习符号自动机，173-189[Zbl 1452.68092号]李勇；陈玉芳；张丽君；刘德鹏，一种新的基于DFA族和分类树的Büchi自动机学习算法，208-226[Zbl 1453.68098号]奥纳·库普夫曼；塔米尔、塔米，层次网络编队游戏，229-246[Zbl 1457.91106号]伊娜拉、杰埃瓦娜·普利亚；纳迪亚·波里卡波娃；邱晓康；本杰明·勒纳。；Solar Lezama，阿曼多，从可重用模板合成递归ADT变换，247-263[Zbl 1452.68050号]马西亚斯·普雷纳；艾娜·尼梅茨；阿明·比尔，反例指导模型合成，264-280[兹比尔1452.68122]戴维德·卡维扎（Davide G.Cavezza）。；达拉·阿拉杰，基于插值的GR（1）假设改进，281-297[Zbl 1452.68115号]Nguyen，Thanhvu；Weimer，Westley；卡普尔，迪帕克；斯蒂芬妮·福雷斯特，连接程序合成和可达性：使用测试输入生成自动修复程序，301-318[Zbl 1452.68052号]拉杰夫·阿鲁尔；拉德哈克利什纳（Radhakrishna），阿琼（Arjun）；阿披实乌杜帕，通过分治法缩放枚举程序合成，319-336[Zbl 1452.68043号]阿克沙伊，S。；查克拉波蒂，苏普拉蒂克；John，Ajith K。；谢塔尔·沙阿，走向并行布尔函数综合，337-353[Zbl 1452.68112号]彼得·费蒙维尔（Peter Faymonville）；芬克贝纳（Bernd Finkbeiner）；马库斯·拉贝。；Leander Tentrup公司，有界合成编码，354-370[Zbl 1452.68118号]费多·托马什；霍利克，卢卡什；彼得·扬克；安大略省Lengál；汤姆·沃纳，WS1S的惰性自动机技术，407-425[Zbl 1452.03090号]哈维尔·埃斯帕尔扎；Křetínsk \345]，Jan；Jean-François拉斯金；所罗门·西克特，从LTL和极限确定性Büchi自动机到确定性奇偶自动机，426-442[Zbl 1452.68105号]Křetínsk \345]，Jan；梅根多夫，托拜厄斯；克拉拉·沃尔德曼；马克西米利安·韦宁格，将拉宾自动机转换为奇偶自动机的索引外观记录，443-460[兹比尔1452.68108]马提亚斯·海兹曼；席林（Christian Schilling）；丹尼尔·蒂施纳，使用部分Max-SAT最小化可视下推自动机，461-478[Zbl 1452.68107号]Sanán，大卫；赵永旺；侯哲；张富源；Tiu，Alwen；刘，杨，CSimpl:用于验证并发程序的基于可靠保证的框架，481-498[Zbl 1452.68053号]安大略省Lengál；Lin，Anthony W。；Rupak Majumdar；菲利普·吕默，参数化概率并发系统的公平终止，499-517[Zbl 1452.68127号]Loris D'Antoni；玛格斯·维纳斯，非确定性符号有限自动机的前向互模拟，518-534[Zbl 1452.68103号]Filippo Bonchi；巴巴拉·科尼格；塞巴斯蒂安·库珀，加权系统的Up-to技术，535-552[Zbl 1452.68100号]斯坦利·巴克；帕拉萨拉·斯里达尔·达吉拉拉，基于严格仿真的线性混合系统分析，555-572[Zbl 1452.68098号]塞尔吉·博戈莫洛夫；Goran Frehse；米尔科·贾科布；托马斯·亨辛格（Thomas A.Henzinger）。，模板多面体的反例引导细化，589-606[Zbl 1452.68099号] 引用于三评论 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68季度xx 计算理论 00B25型 杂项特定利益的会议记录 引文：Zbl 1360.68008号;Zbl 1360.68016号 PDF格式BibTeX公司 XML格式引用 \textit{A.Legay}（编辑）和\textit{T.Margaria}（编），系统构建和分析的工具和算法。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格（2017；Zbl 1360.68015） 全文： 内政部