2006年MoChArt:意大利Riva del Garda
斯特凡·埃德尔坎普 , 阿莱西奥·洛穆西奥 :
模型检查和人工智能,第四次研讨会,MoChArt IV,Riva del Garda,意大利,2006年8月29日,修订的精选和邀请论文。 计算机科学课堂讲稿 4428, 施普林格 2007 ,国际标准图书编号 978-3-540-74127-5 皮埃尔吉奥·贝尔托利 , 马可·波扎诺 , 亚历山德罗·西马蒂 :
安全分析、诊断和综合的符号模型检查框架。 1-18 娜塔莎·阿列奇纳 , 皮埃尔吉奥·贝尔托利 , 奇亚拉·吉迪尼 , 马克·贾戈 , 布莱恩·洛根 , 卢西亚诺·塞拉菲尼 :
验证基于资源的代理的空间和时间要求。 19-34 斯特凡·埃德尔坎普 :
模式数据库搜索启发的自动创建。 35-50 约格·霍夫曼 , Jan-Georg Smaus公司 , 安德烈·里巴尔琴科 , 塞巴斯蒂安·库普费施米德 , 安德烈亚斯·波德尔斯基 :
在UPPAAL中使用谓词抽象生成启发式函数。 51-66 斯特凡·埃德尔坎普 , 沙希德·贾巴尔 :
辅助存储器上的实时模型检查。 67-83 塔达希·阿拉拉吉 , 胜末町 :
通过强化学习检查并发系统的活性属性。 84-94 阿莱西奥·洛穆西奥 , 博泽娜·沃兹纳 , 安德烈·兹布热兹尼 :
有界模型检查具有时钟差异的实时多代理系统:理论与实现。 95-112 查尔斯·佩彻 , 弗兰科·雷蒙迪 :
带动作的逻辑符号模型检查。 113-128 弗朗西斯科·维冈 :
模型检查机构框架。 129-145 米罗斯瓦夫·库尔科夫斯基 , 沃伊切赫·彭泽克 , 安德烈·兹布热兹尼 :
基于SAT的安全协议验证,通过转换到自动机网络。 146-165 安东·威伊斯 , 伯特·利瑟 :
用于定量模型检查的分布式扩展波束搜索。 166-184