艾默生·E·艾伦（编辑）;Kedar S.Namjoshi。（编辑） 验证、模型检查和抽象解释。第七届国际会议，VMCAI 2006，查尔斯顿，南卡罗来纳州，美国，2006年1月8日至10日。诉讼程序。 （英语） Zbl 1097.68002号 计算机科学讲义3855.柏林：施普林格出版社（ISBN 3-540-31139-4/pbk）。xi，第443页。(2006). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。上一次会议已经过审查（参见Zbl 1069.68003号).索引文章：彼得·沙赫特（Peter Schachte）；哈拉尔德·森德加德，ROBDD的闭包运算符，1-16[Zbl 1176.68128号]佐治亚州贾法；安德鲁·桑托萨（Andrew E.Santosa）。；沃伊库，勒兹万，用于组合和间歇谓词抽象的CLP方法，17-32[Zbl 1176.68124号]吉拉德·阿诺德；Manevich，罗马人；穆利·萨吉夫；冉·沙哈姆，通过交叉抽象结合形状分析，33-48[Zbl 1176.68111号]皮埃尔·甘蒂（Pierre Ganty）；Jean-François拉斯金；劳伦特·范·贝京，WSTS覆盖性属性的完整抽象解释框架，49-64[Zbl 1176.68119号]劳拉·博泽利，分支时间下推模型检查的复杂性结果，65-79[Zbl 1176.68114号]Tan，Gang；安德鲁·W·阿佩尔。，控制流的组合逻辑，80-94[Zbl 1176.68052号]斯特凡诺·罗西诺利；斯波托，福斯托，通过将抽象编译为布尔函数来检测非周期性，95-110[Zbl 1176.68043号]桑卡拉纳拉亚南，斯里拉姆；Colón，迈克尔·A。；西普玛，亨尼；佐哈尔·曼纳，高效强关联多面体分析，111-125[Zbl 1176.68051号]埃德蒙·克拉克；穆拉利达尔·塔卢普尔；赫尔穆特·维思，参数化验证的环境抽象，126-141[Zbl 1176.68117号]哈坎·L·S·尤尼斯。，概率模型检查的误差控制，142-156[Zbl 1176.68131号]Thomas Wies；维克多·昆卡；Patrick Lam；安德烈亚斯·波德尔斯基；马丁·里纳德，字段约束分析，157-173[Zbl 1176.68130号]Chang，Bor-Yuh Evan；Chlipala，亚当；Necula，George C。，认证程序分析框架及其在移动代码安全中的应用，174-189[Zbl 1176.68048号]赫里斯托娃，卡蒂亚；刘燕红A。，下推系统线性时序逻辑模型检查的改进算法复杂性，190-206[Zbl 1176.68122号]杰西·宾厄姆；茨沃尼米尔·拉卡马里奇，堆操作程序谓词抽象的逻辑和决策过程，207-221[Zbl 1176.68113号]Sistla，A.Prasad；周敏；Lenore D.扎克。，监视脱机组件，222-236[Zbl 1176.68129号]沙希德·贾巴尔；斯特凡·爱德坎普，使用线性I/O进行并行外部定向模型检查，237-251[Zbl 1176.68123号]加法里，纳格梅；理查德·特雷弗勒，可分析分段FIFO通道，252-266[Zbl 1176.68134号]伊泰·巴拉班；科恩，阿里尔；阿米尔·普努利，递归程序的分级抽象，267-281[Zbl 1176.68047号]佐治亚州贾法；安德鲁·桑托萨（Andrew E.Santosa）。；勒兹凡·沃伊库，相对安全，282-297[Zbl 1176.68049号]小林，直纪；Kohei的Suenaga；卢西安·维希克，（pi）演算的资源使用分析，298-312[Zbl 1176.68135号]弗朗西斯科·洛戈佐；阿戈斯蒂诺·科尔特斯，通过抽象解释进行语义层次重构，313-331[Zbl 1176.68046号]弗朗西斯科·兰扎托；弗朗切斯科·塔帕罗，通过抽象解释对基于时间固定点的操作符进行强保存，332-347[Zbl 1176.68127号]安托万·米内，提高数字抽象域精度的符号方法，348-363[Zbl 1176.68050号]尼尔·皮特曼；阿米尔·普努利；亚尼夫·萨阿尔，合成反应（1）设计，364-380[Zbl 1176.68126号]阿里·古芬克尔（Arie Gurfinkel）；魏、欧；Chechik，玛莎，模型检验抽象的系统构建，381-397[Zbl 1176.68121号]苏布拉马尼，K。，具有相对时间限制的完全洞察力调度，398-411[Zbl 1176.68041号]劳拉·博泽利；萨尔瓦多拉托雷；阿德里亚诺·佩隆，验证格式良好的通信递归状态机，412-426[Zbl 1176.68115号]亚伦·R·布拉德利。；玛纳，佐哈尔；亨尼·B·西普玛。，数组的决定因素是什么？，427-442 [兹比尔1176.68116] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 60年第68季度 规范和验证（程序逻辑、模型检查等） 00B25型 杂项特定利益的会议记录 引文：Zbl 1069.68003号 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}（编辑）和\textit{K.S.Namjoshi}（主编），验证、模型检查和抽象解释。第七届国际会议，VMCAI 2006，查尔斯顿，南卡罗来纳州，美国，2006年1月8日至10日。诉讼程序。柏林：施普林格出版社（2006；Zbl 1097.68002） 全文： 内政部