新闻
- 启动活动将于11月10日下午2点在052号楼02-017室举行。
- 启动会议的幻灯片有在这里
- 如果拍摄了一个主题，它将被标记为演示者的姓名（有些人速度很快）
- 有关您提交的文件及其截止日期，请参阅课程的moodle网站
（Uni帐户名和WWW密码）。
话题
1 -一种用于删减虚拟谓词以支持验证的专业化演算
作者：魏恩根·钦、克里斯蒂安·格尔吉纳、拉兹万·沃伊库、广罗乐、弗洛林·克拉岑、秦胜超
-------------------------------------------------------------------------
2 -实际代码的实用、低工作量等效验证
作者：David A.Ramos，Dawson R.Engler
演示人：马库斯·林登曼和奥列克西·索克
-------------------------------------------------------------------------
3 -使用分裂谓词简化循环不变量的生成
作者：Rahul Sharma、Isil Dillig、Thomas Dillig和Alex Aiken
主持人：卡斯瓦拉·克莱布吉和苏珊娜·埃切尔
-------------------------------------------------------------------------
4 -作为程序分析任务的时间属性验证
作者：拜伦·库克（Byron Cook）、埃里克·科斯基宁（Eric Koskinen）、莫西·瓦迪（Moshe Vardi）
-------------------------------------------------------------------------
5 -间歇断言的前提推理及其在托收合同中的应用
作者：Patrick Cousot、Radhia Cousot和Francesco Logozzo
-------------------------------------------------------------------------
6 -路径不变量
作者：Dirk Beyer、Thomas Henzinger、Rupak Majumdar、Andrey Rybalchenk
主持人：Andreas Spilla和Eduard Skaley
-------------------------------------------------------------------------
7 -使用WOLVERINE进行基于插值的软件验证
作者：Dirk Beyer，Erkan Keremoglu
-------------------------------------------------------------------------
8 -CPACHECKER：可配置软件验证工具
作者：Daniel Kroening，Georg Weissenbacher
主讲人：Luminous Fennell和Minu George
