17.2016年VMCAI：美国佛罗里达州圣彼得堡
芭芭拉·朱布斯曼 , K.鲁斯坦·莱诺 :
验证、模型检查和抽象解释——2016年1月17日至19日在美国佛罗里达州圣彼得堡举行的第17届VMCAI国际会议。 诉讼程序。 计算机科学课堂讲稿 9583, 施普林格 2016 ，国际标准图书编号 978-3-662-49121-8
受邀会谈
摘要解释
亚历山大·巴克斯特 , 兰吉特·贾拉 :
链接数据结构的谓词抽象。 65-84 格雷姆恒河 
, 豪尔赫·纳瓦斯 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
意外函数的抽象域。 85-103 诺姆·里内茨基 , 沙伦·肖姆 :
属性导向的抽象解释。 104-123
抽象
埃戈尔·乔治·卡彭科夫 , 大卫·莫尼奥 , 菲利普·温德勒 :
使用本地策略迭代进行程序分析。 127-146 Zeinab Ganjei公司 , 艾哈迈德·雷兹 , 佩特鲁·埃利斯 , 彭泽波 :
懒惰约束单音抽象。 147-165 亚历山大·马雷查尔 , 亚历克西斯·福莱 , 蒂姆·金 , 大卫·莫尼奥 , 米歇尔·佩林 :
使用Handelman定理的多元多项式的多面体逼近。 166-184 希拉·佩莱 , 沙伦·肖姆 , 埃兰·雅哈 :
D^3：数据驱动析取抽象。 185-205 本杰明·希勒里 , 埃里克·默瑟 , Neha Rungta公司 , 苏泽特人 :
符号执行的精确堆摘要。 206-225
混合动力和定时系统
木藤研吾 , 斯瓦拉特·乔杜里 , 哈朔一郎 :
无限小的抽象解释——非标准静态分析中的可扩展性。 229-249 托马斯·汉津格 , 扬·奥托普 , 萨曼塔屋顶 :
定时I/O系统的Lipschitz鲁棒性。 250-267 安德鲁·索戈孔 , 哈利尔·戈巴尔 , 保罗·杰克逊 , 安德烈·普拉泽 :
多项式连续系统的不变量生成方法。 268-288
动态和静态验证
帕维尔·帕里泽克 :
带数组程序部分降阶的混合分析。 291-310 杰拉德·J·霍尔兹曼 :
基于云的并发软件验证。 311-327 Przemyslaw Daca公司 , 阿舒托什·古普塔 , 托马斯·汉津格 :
抽象驱动的协和测试。 328-347
概率系统
瓦希德·哈希米 , 霍尔格·赫尔曼斯 , 雷松 :
不确定加权MDP的基于奖励的可达性概率。 351-371 贝诺·特·德拉哈耶 , Didier石灰 , 劳雷·佩特鲁奇 :
参数区间马尔可夫链的参数综合。 372-390
并发程序
弗雷德里克·哈齐扎 , 卢卡斯·霍利克 , 罗兰·梅耶 , 塞巴斯蒂安·沃尔夫 :
指针比赛自由。 393-412 马尔科·多科 , 维克托·瓦菲亚迪斯 :
C11内存围栏的程序逻辑。 413-430 卡米尔·杜德卡 , 卢卡斯·霍利克 , 彼得·佩林格 , 马雷克·特里克 , 托马斯·沃伊纳 :
从低级指针到高级容器。 431-452
参数化和基于组件的系统
安东尼·W·林 , Truong Khanh Nguyen公司 , 菲利普·吕默 , 孙军（Jun Sun） :
规则对称图案。 455-475 西蒙·奥埃里希纳（Simon Außerlechner） , 瑞典雅各布斯 , 艾拉特·哈利莫夫 :
公平保护协议的严格截止。 476-494 伊利亚·德克雷塞佐 , 萨尔瓦托雷·拉托雷 :
下推系统的一般模综合问题。 495-513
解算器改进
