9.VMCAI 2008:美国加利福尼亚州旧金山
弗朗西斯科·洛戈佐 , 多龙·A·贝利德 , 勒诺·D·扎克 :
验证、模型检查和摘要解释,第九届国际会议,VMCAI 2008,美国旧金山,2008年1月7日至9日,会议记录。 计算机科学课堂讲稿 4905, 施普林格 2008 ,国际标准图书编号 978-3-540-78162-2 拉迪娅·库索 :
非单音双诱导语义定义的抽象解释。 1-3 尼尔·D·琼斯 , 勒内·里多夫·汉森 :
CTL作为中间语言。 4 奥尔娜·库普夫曼 , 尤亚德·卢斯蒂格 :
多值逻辑、自动机、仿真和游戏。 5 延斯·帕尔斯伯格 :
寄存器分配器的验证。 6 马可·皮斯托亚 :
安全程序分析和编程语言。 7 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃妮娅·扎法内拉 :
整数八边形约束的改进紧闭包算法。 8-21 帕罗什·阿齐兹·阿卜杜拉 , 努梅内·本·亨达 , 乔治·德尔扎诺 , 艾哈迈德·雷兹 :
处理具有非原子全局条件的参数化系统。 22-36 奥利维尔·布伊索 , 马蒂厄·马特尔 :
嵌入式程序物理输入的抽象解释。 37-51 亚历山德罗·西马蒂 , 马可·罗维里 , 维克多·舒潘 , 安德烈·查尔兹夫 :
可实现性诊断信息。 52-67 维杰·维克托·德席尔瓦 , Mitra Purandare公司 , 丹尼尔·克罗宁 :
基于插值的模型检查的近似精化。 68-82 文森特·达诺斯 , 杰罗姆·费雷特 , 沃尔特·丰塔纳 , 让·克里文 :
细胞信号网络的抽象解释。 83-97 雷娜·迪米特洛娃 , 安德烈亚斯·波德尔斯基 :
延迟抽象是广播协议的决策过程吗? 98-111 哈拉尔德·费彻 , 伦敦帝国学院 :
动作抽象的模型检查。 112-126 尤金·戈德堡 :
桥接仿真和形式验证。 127-141 亚历克斯·格罗斯 , 拉杰夫·乔希 :
使用动态分析扩展模型检查。 142-156 伊莎贝拉·马斯特罗尼 :
通过简化分区导出互模拟。 157-171 马里奥·曼德斯·洛霍 , 曼纽尔·埃尔梅内吉尔多 :
Java风格程序的精确集共享分析。 172-187 扬尼克·莫伊 :
模块化断言检查的充分前提。 188-202 Huu Hai Nguyen(胡海阮) , 维克托·昆卡 , 魏恩甘钦 :
分离逻辑的运行时检查。 203-217 鲁齐卡·皮斯卡 , 维克托·昆卡 :
具有基数约束的多集的决策过程。 218-232 阿米尔·普努利 , 亚尼夫·萨阿尔 :
你所需要的只是同情。 233-247 弗朗西斯科·兰扎托 , 奥利维娅·罗西·多里亚 , 弗朗西斯科·塔帕罗 :
一种前后向抽象精化算法。 248-262 大卫·A·施密特 :
抽象解释的内部逻辑和外部逻辑。 263-278 安德烈亚斯·摩根斯顿 , 克劳斯·施耐德 :
从LTL到符号表示的确定自动机。 279-293 A.普拉萨德·西斯特拉 , Abhigna R.Srinivas公司 :
监测随机系统的时间特性。 294-308 Saqib Sohail公司 , 法比奥·萨蒙齐 , 卡维塔·拉维 :
LTL游戏的混合算法。 309-323