7.VMCAI 2006年:美国南卡罗来纳州查尔斯顿
E.艾伦·艾默生 , Kedar S.Namjoshi公司 :
验证、模型检查和抽象解释,第七届国际会议,VMCAI 2006,查尔斯顿,南卡罗来纳州,美国,2006年1月8日至10日,会议记录。 计算机科学课堂讲稿 3855, 施普林格 2006 ,国际标准图书编号 3-540-31139-4 彼得·沙赫特 , 哈拉尔德·森德加德 :
ROBDD的闭包运算符。 1-16 佐克森·贾法尔 , 安德鲁·E·桑托萨 , 拉兹万·沃伊库 :
一种用于组合和间歇谓词抽象的CLP方法。 17-32 吉拉德·阿诺德 , 罗曼·曼尼维奇 , 穆利·萨吉夫 , 兰·沙哈姆 :
通过相交抽象组合形状分析。 33-48 皮埃尔·甘蒂 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
WSTS覆盖特性的完整抽象解释框架。 49-64 劳拉·博泽利 :
分支时间下推模型检查的复杂性结果。 65-79 谭刚(Gang Tan) , 安德鲁·W·阿佩尔 :
控制流的组合逻辑。 80-94 斯特凡诺·罗西尼奥利 , 福斯托·斯波托 :
通过将抽象编译为布尔函数来检测非循环性。 95-110 斯里拉姆·桑卡拉纳拉亚南 , 迈克尔·科隆 , 亨尼·B·西普玛 , 佐哈尔·曼纳 :
高效的强关联多面体分析。 111-125 埃德蒙·克拉克 , 塔卢普尔壁画 , 赫尔穆特·维思 :
参数化验证的环境抽象。 126-141 哈坎·L.S.Younes :
概率模型检验的误差控制。 142-156 托马斯·维斯 , 维克托·昆卡 , 林立信 , 安德烈亚斯·波德尔斯基 , 马丁·里纳德 :
字段约束分析。 157-173 Bor-Yuh Evan Chang先生 , 亚当·克利帕拉 , 乔治·C·内库拉 :
认证程序分析框架及其在移动代码安全中的应用。 174-189 卡蒂娅·赫里斯托娃 , 刘艳红 :
下推系统线性时序逻辑模型检查的改进算法复杂性。 190-206 杰西·宾厄姆 , 兹沃尼米尔·拉卡马利奇 :
堆操作程序谓词抽象的逻辑和决策过程。 207-221 A.普拉萨德·西斯特拉 , Min Zhou女士 , 勒诺·D·扎克 :
监控非现成组件。 222-236 沙希德·贾巴尔 , 斯特凡·埃德尔坎普 :
具有线性I/O的并行外部有向模型检查。 237-251 纳格梅·加法里 , 理查德·特雷弗 :
可分析分段FIFO通道。 252-266 伊塔·巴拉班 , 艾里尔·柯亨 , 阿米尔·普努利 :
递归程序的排名抽象。 267-281 佐克森·贾法尔 , 安德鲁·桑托萨 , Razvan Voicu公司 :
相对安全。 282-297 小林直树 , Kohei Suenaga公司 , 卢西安·维希克 :
的资源使用分析 圆周率 -微积分。 298-312 弗朗西斯科·洛戈佐 , 阿戈斯蒂诺·科尔特斯 :
通过抽象解释重构语义层次。 313-331 弗朗西斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
基于时间不动点算子的抽象解释的强保持性。 332-347 安托万·米内 :
提高数值抽象域精度的符号方法。 348-363 尼尔·皮特曼 , 阿米尔·普努利 , 亚尼夫·萨阿尔 :
反应性设计合成(1)。 364-380 阿里·古芬克尔 , 欧伟 , 玛莎·契契克 :
模型检查抽象的系统构建。 381-397 K.Subramani公司 :
具有相对时间约束的完全透视调度。 398-411 劳拉·博泽利 , 萨尔瓦托雷·拉托雷 , 阿德里亚诺·佩隆 :
验证格式良好的通信递归状态机。 412-426 亚伦·R·布拉德利 , 佐哈尔·曼纳 , 亨尼·B·西普玛 :
阵列的决定因素是什么? 427-442