讲座：
雷内·哈内尔 （德国达姆施塔特大学）： 可执行软件模型的设计与分析：简介与概述 戴夫·克拉克 （比利时鲁汶大学）： 可变性模型 科西莫·兰伊夫 （U Bologna，IT）： 并发程序的死锁分析 埃里卡·阿布拉哈姆 （德国亚琛RWTH）： 概率建模和模型检查 约瑟夫·威德 （TU维也纳，AT）： 容错分布式算法的模型检查 索菲亚·德罗索波卢 （IC伦敦，英国）： 规范中递归谓词的推理 玛丽克·赫斯曼 （荷兰U Twente）： 并发系统的验证 弗兰克-德波尔 （CWI阿姆斯特丹，荷兰）： 运行时断言检查和监视Java程序 埃尔维拉·阿尔伯特 （西班牙马德里加州大学）： 通过符号执行生成测试用例 伊娜·谢弗 （德国布伦瑞克TU）： 基于模型的测试
