×
陈玉芳（编辑）;Cheng，Chih-Hong先生（编辑）;哈维尔·埃斯帕尔扎（编辑）

用于验证和分析的自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。 （英语） Zbl 1428.68012号

计算机科学课堂讲稿11781.查姆：施普林格（ISBN 978-3-030-31783-6/pbk；978-3-0030-31784-3/电子书）。xi，第552页。(2019).

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

对数学感兴趣的文章将单独进行审查。关于之前的研讨会，请参阅[Zbl 1396.68018号].
索引文章：
帕特里夏·鲍耶，关于博弈论和验证的注释，3-22[兹伯利1437.68113]
Hsu，Kyle；Rupak Majumdar；考希克·马利克；安妮·凯瑟琳·施穆克，基于惰性抽象的控制器合成，23-47[Zbl 1447.93060号]
本杰明·基尔（Benjamin Kiesl）；Heule，Marijn J.H。；阿明·比尔，作为条件自给自足的真理赋值，48-64[Zbl 1437.68132号]
侯赛因·西拜；纳维德·莫赫莱西；萨扬·密特拉，使用等变动力系统中的对称变换进行安全验证，98-114[Zbl 1447.93021号]
埃蒂安·安德烈；孙骏，确保定时不透明度的参数定时模型检查，115-130[Zbl 1437.68110号]
乔舒亚·施奈德（Joshua Schneider）；David Basin；弗雷德里克·布里克斯（Frederik Brix）；Krstić，Sr Djan；德米特里·特拉泰尔，自适应在线一阶监控，133-150[Zbl 1437.68120号]
Martin Raszyk；David Basin；Krstić，Sr Djan；德米特里·特拉泰尔，度量时序逻辑的多头监控，151-170[兹伯利1437.68119]
马丁·科尔贝尔；斯特凡·洛伊，一种在因果关系检查中计算因果迹集的有效算法，171-186[Zbl 1437.68117号]
Pham，Long H。；Le，Quang Loc；Phan，Quoc-Sang；孙军；秦胜超，使用测试输入生成的分离逻辑增强基于堆的程序的符号执行，209-227[Zbl 1437.68044号]
埃齐奥·巴托奇；科瓦茨，劳拉；米罗斯拉夫斯坦科维奇，为prob-solved循环自动生成基于矩的不变量，255-276[Zbl 1437.68041号]
阿卜杜拉，帕罗什·阿齐兹；穆罕默德·法乌齐（Mohamed Faouzi Atig）；Diep，Bui Phi；霍利克，卢卡什；彼得·扬克，无链字符串约束，277-293[Zbl 1437.68131号]
克里斯托夫·Löding；安东·皮罗戈夫，确定Büchi自动机的新优化和启发式，317-333[Zbl 1437.68101号]
雷纳·迪米特洛娃；芬克贝纳（Bernd Finkbeiner）；托法、哈泽姆，欧米伽正则语言的近似自动机，334-349[Zbl 1437.68095号]
赫金-哈布什，杰斯科；Niklas O.Metzger。，异步分布式系统有界综合的有效跟踪编码，369-386[Zbl 1437.68128号]
Křetínsk \345]，Jan；亚历山大·曼塔（Alexander Manta）；托拜厄斯·梅根多夫，LTL合成中奇偶博弈求解的语义标记和学习，404-422[Zbl 1437.68118号]
博尔祖·博纳克达尔普尔；伯恩德·芬克贝纳，超属性程序修复，423-441[Zbl 1437.68112号]
拜尔，克里斯特尔；弗兰蒂舍克·布拉胡德克；亚历山大·杜雷特·卢茨（Alexandre Duret-Lutz）；约阿希姆·克莱因（Joachim Klein）；米勒，大卫；斯特雷切克，简，用于娱乐和盈利的通用空置检查，445-461[Zbl 1437.68092号]
托马斯·布拉兹迪尔；克里希南德·查特吉；库奇拉，安东；彼得·诺沃顿；多米尼克·维兰，确定具有不确定性的概率VASS的快速终止，462-478[Zbl 1437.68127号]
拼写，Jip；塞巴斯蒂安·荣格斯；Joost-Pieter卡托恩，参数马尔可夫链是单调的吗？，479-496 [Zbl 1437.68121号]
罗德里克·布隆姆（Roderick Bloem）；瑞典雅各布斯；亚基尔·维泽尔，推测执行下的高效信息流验证，499-514[Zbl 1437.68111号]
芬克贝纳（Bernd Finkbeiner）；Manuel Gieseking；赫金-哈布什，杰斯科；奥尔德罗格（Ernst-Rüdiger Olderog），并发网络更新中的模型检查数据流，515-533[Zbl 1437.68115号]

引用于1审查

MSC公司：

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

引文：

Zbl 1396.68018号
PDF格式BibTeX公司 XML格式引用
\textit{Y.-F.Chen}（编辑）等，《验证和分析自动化技术》。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：施普林格（2019；Zbl 1428.68012）
全文： DOI程序