×
Jan Friso，格鲁特（编辑）；金·古德斯特兰·拉森（编辑）

用于构建和分析系统的工具和算法。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。 （英语） Zbl 1471.68016号

计算机科学课堂讲稿12652.商会：施普林格出版社（ISBN 978-3-030-722012-4/pbk；978-3-030-722013-1/电子书）。xxi，465页。(2021).

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

对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 1496.68011号；Zbl 1471.68010号]. 本次会议议事录第一部分见[Zbl 1466.68015号].
索引文章：
Michael Blondin；哈斯，克里斯托夫；菲利普·奥特马特，无限状态系统的定向可达性，3-23[Zbl 1474.68202号]
格里戈里·费迪尤科维奇；吉登·恩斯特，递归证明中的桥接阵列和ADT，24-42[Zbl 1474.68048号]
Lohar，Debasmita；Jeangoudoux，Clothilde；乔舒亚·索贝尔（Joshua Sobel）；伊娃·达鲁洛娃；玛丽亚·克里斯塔基斯，条件浮点验证的两阶段方法，43-63[Zbl 1474.68191号]
尼古拉·贝内什；布里姆，卢博什；塞缪尔·帕斯特瓦（Samuel Pastva）；萨夫拉内克，大卫，符号色SCC分解，64-83[Zbl 1474.68210号]
科恩（Aviad Cohen）；亚历山大·纳达尔（Alexander Nadel）；瓦迪姆·里夫钦，使用SAT oracle进行组合优化的本地搜索，87-104[Zbl 1474.68325号]
朱利安·勒皮勒（Julien Lepiller）；鲁齐卡皮斯卡；马丁·施瓦夫；马克·桑托卢西托，将基础设施分析为代码以防止更新内的狙击漏洞，105-123[Zbl 1474.68018号]
费比安·米特沃纳；亚历山大·洛赫曼；阿尔特米德尔多普；伯特伦·费尔根豪尔，《重写一阶理论中的证明》，127-144[Zbl 1474.68166号]
艾娜·尼梅茨；马西亚斯·普雷纳；安德鲁·雷诺兹（Andrew Reynolds）；克拉克·巴雷特；塞萨尔·蒂内利，句法引导量词实例化，145-163[Zbl 1474.68456号]
里格尔、贾尔斯；Johannes Schoiswohl；安德烈·沃龙科夫，简化理论推理，164-180[Zbl 1474.68060号]
Tan，Yong Kiam；安德烈·普拉泽，常微分方程的演绎稳定性证明，181-199[Zbl 1474.68195号]
盖·埃米尔；吴浩泽；克拉克·巴雷特；凯兹，盖伊，一种基于SMT的验证二值化神经网络的方法，203-222[Zbl 1474.68188号]
Tan，Yong Kiam；Heule，Marijn J.H。；玛格努斯·奥·米林。,结块_lpr：在CakeML中验证传播冗余检查，223-241[Zbl 1474.68194号]
罗莎·阿巴斯；乔纳斯·希夫尔；伊娃·达鲁洛娃；马蒂亚斯·乌尔布里奇；沃尔夫冈·阿伦特，KeY中浮点Java程序的演绎验证，242-261[Zbl 1474.68186号]
马修·索图德；阿迪蒂亚·塔库尔。，SyReNN：分析深层神经网络的工具，281-302[Zbl 1474.68304号]

引用于2评论
引用于1文件

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
68季度xx 计算理论
00B25型 杂项特定利益的会议记录

引文：

Zbl 1496.68011号；Zbl 1471.68010号；Zbl 1466.68015号
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}（编辑）和\textit{K.G.Larsen}（编），系统构建和分析的工具和算法。第27届国际会议，TACAS 2021，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。第二部分。查姆：斯普林格（2021；Zbl 1471.68016）
全文： 内政部