×

用于系统构造和分析的工具和算法。第27届国际会议,TACAS2021,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS2021,卢森堡市,2021年3月27日至4月1日。会议记录。第二部分。 (英语) Zbl 1471.68016

计算机科学讲义12652.查姆:斯普林格(ISBN 978-3-030-72012-4/pbk;978-3-030-72013-1/电子书)。二十一,465页。(2021年)。

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

对数学感兴趣的文章将单独复习。上一次会议见[Zbl 07290349;Zbl 1471.68010号]. 本会议议事录第一部分见[Zbl 1466.68015号].
索引文章:
布朗丁,迈克尔;哈斯,克里斯托夫;菲利浦,Offtermatt,无限状态系统的有向可达性,3-23[Zbl 1474.68202]
费德约科维奇,格里戈里;恩斯特,吉顿,递归证明中的桥接数组和adt,24-42[Zbl 1474.68048]
洛哈,德巴斯米塔;杰昂古杜,克洛西尔德;索贝尔,约书亚;达鲁洛娃,伊娃;克里斯塔基斯,玛丽亚,条件浮点验证的两阶段方法,43-63[Zbl 1474.68191]
贝尼什,尼古拉;布里姆,卢博什;塞缪尔,帕斯瓦;萨弗雷内克,大卫,符号彩色SCC分解,64-83[Zbl 1474.68210]
科恩,阿维德;纳德尔,亚历山大;里夫钦,瓦迪姆,用SAT-oracle进行组合优化的局部搜索,87-104[Zbl 1474.68325]
莱皮尔,朱利安;皮斯卡,鲁齐卡;舍夫,马丁;圣托卢西托,马克,将基础设施分析为代码以防止更新内狙击漏洞,105-123[Zbl 1474.68018号]
密特沃纳,费边;亚历山大·洛赫曼;米德尔多普,Aart;费尔根豪尔,伯特伦,一阶重写理论中的证明,127-144[Zbl 1474.68166]
尼美兹,艾娜;普雷纳,马蒂亚斯;雷诺兹,安德鲁;巴雷特,克拉克;蒂内利,塞萨尔,语法引导量词实例化,145-163[Zbl 1474.68456]
雷格,吉尔斯;肖斯沃尔,约翰内斯;沃龙科夫,安德烈,简化理论推理,164-180[Zbl 1474.68060]
谭永健;普拉泽,安德烈,常微分方程的演绎稳定性证明,181-199[Zbl 1474.68195]
阿米尔,伙计;吴浩泽;巴雷特,克拉克;凯兹,伙计,一种基于SMT的验证二值化神经网络的方法,203-222[Zbl 1474.68188]
谭永健;海勒,玛丽安·J·H。;梅林,马格努斯O。,蛋糕:CakeML中验证的传播冗余检查,223-241[Zbl 1474.68194]
阿巴西,罗莎;希夫尔,乔纳斯;达鲁洛娃,伊娃;乌尔布里希,马提亚斯;阿伦特,沃尔夫冈,密钥中浮点Java程序的演绎验证,242-261[Zbl 1474.68186]
索图德,马修;塔库尔,阿迪蒂亚诉。,SyReNN:分析深层神经网络的工具,281-302[Zbl 1474.68304]

理学硕士:

68-06年 与计算机科学有关的会议记录、会议记录、收藏等
68季度 计算理论
00B25号 特别关注的杂项会议记录
PDF格式 BibTeX公司 XML 引用
全文: 内政部