缺少摘要。
- 能源信息学中的形式化方法霍尔格·赫尔曼斯.1-2 [doi]
- 软件代码与法律规则之间的形式方法丹尼尔·勒·梅泰勒.3-18 [doi]
- 开发ASSL的模型检查机制：一份经验报告埃米尔·瓦塞夫,迈克·欣奇.19-34 [doi]
- 政策过程中的模型和沟通马特奥·佩德奇尼.35-37 [doi]
- 具有多方交互和优先级的系统的分布式实现伊梅内·本·哈费德,苏珊娜·格拉夫,内格拉·马祖兹.38-57 [doi]
- 基于Coq中形式语义的PLC属性验证Jan Olaf漂白剂,西迪·乌尔德·比哈.58-73 [doi]
- 广播Psi-calculi及其在无线协议中的应用约翰内斯·伯格斯特伦,黄淑琴,马格森,帕尔·拉布杰格（Palle Raabjerg）,比约恩·维克多,约翰内斯·奥曼·波霍拉,约阿希姆·帕罗.74-89 [doi]
- 用于程序规范和验证的Java字符串形式化理查德·布贝尔,雷内·哈内尔,乌尔里希·盖尔曼.90-105 [doi]
- dCTL：一种用于容错系统验证的分支时态逻辑巴勃罗·卡斯特罗,塞西莉亚·基尔默里,Araceli阿科斯塔,纳扎雷诺·阿吉雷.106-121 [doi]
- 关系分离逻辑的机器检查框架胡安·曼努埃尔·克雷斯波,塞萨尔·库茨.122-137 [doi]
- 改进基于SAT的有界程序验证的数据流分析布鲁诺·库尔沃·帕里诺,胡安·加莱奥蒂,迭戈·加伯维斯基,马塞洛·F·弗里亚斯.138-154 [doi]
- 反向Hoare逻辑埃德斯科·德·弗里斯,Vasileios Koutavas公司.155-171 [doi]
- 组合不同封闭方法改进SAT模ODE用于混合系统分析安德烈亚斯·艾格斯,纳西姆·拉姆达尼,内迪亚科·内迪亚科夫,马丁·弗伦泽.172-187 [doi]
- B+树的验证：一个结合形状分析和交互式定理证明的实验吉登·恩斯特,格哈德·谢尔霍恩,沃尔夫冈·雷夫.188-203 [doi]
- 基于组件的系统的运行时验证伊利耶斯·法尔科内,穆罕默德·贾比尔,Thanh-Hung Nguyen先生,马吕斯·博兹加,萨德克·本萨勒姆.204-220 [doi]
- 将合金规范转换为带OCL注释的UML类图安娜·加布里埃拉·加里斯,阿尔西诺库尼亚,丹尼尔·里斯科.221-236 [doi]
- 声明过程的安全分布托马斯·希尔德布兰特,拉加瓦·拉奥·穆卡马拉,蒂杰斯·斯拉茨.237-252 [doi]
- 利用深度嵌入和自动定理证明验证B证明规则梅拉妮·杰奎尔,卡里姆·贝尔卡尼,大卫·德拉哈耶,凯瑟琳·杜波依斯.253-268 [doi]
- 无功系统的混合规范：一种制度方法亚历山大·马德拉,何塞·M·法里亚,曼纽尔·马丁斯,路易斯·索尔斯·巴博萨.269-285 [doi]
- 在自适应系统的上下文软件重新配置中利用基于状态的用户首选项马可·莫里,费力,克里斯托夫·多恩,保拉·因弗拉迪,沙赫拉姆·达斯达尔.286-301 [doi]
- ANSI-C软件LTL属性的上下文模型检查杰里米·莫尔斯,卢卡斯·科尔德罗,丹尼斯·尼科尔,伯恩德·菲舍尔0002.302-317 [doi]
- 基于特征网的软件产品线模块化建模拉杜·穆切维奇,何塞·普伦萨,戴夫·克拉克.318-333 [doi]
- 同步异步一致性测试内达·诺鲁齐,拉丁·科斯拉维,穆罕默德·雷扎·穆萨维,蒂姆·A·C·威廉斯.334-349 [doi]
- 在Hadoop MapReduce应用程序规范和程序提取中使用Coq小野康介,平井洋一,田本义一（Yoshinori Tanabe）,野田Natsuko Noda,Masami Hagiya先生.350-365 [doi]
- ProMoVer:时间安全属性的模块化验证Siavash Soleimanifard公司,迪利安·古罗夫,玛丽克·赫斯曼.366-381 [doi]
- 结合静态和动态技术验证面向对象程序的可用性朱利安·查宁,卡洛·福里亚,马丁·诺迪奥,贝特朗·梅耶.382-398 [doi]
- 组件系统优势的有效计算（短文）贾普·博恩德.399-406 [doi]
- Boogie验证调试器（工具文件）克莱尔·勒·古伊斯,K.鲁斯坦·莱诺,米查尔·莫斯卡尔.407-414 [doi]
- HI-Maude中交互混合系统的面向对象形式化建模与分析穆罕默德·法德利西亚,彼得·塞巴·奥尔夫茨基,埃里卡·阿布拉哈姆.415-430 [doi]
- 基于Agent的农业生态系统模拟开发方法研究豪尔赫·科拉尔,丹尼尔·卡莱加里.431-446 [doi]
- 马里发展政策分析：可持续增长前景马特奥·佩德奇尼.447-463 [doi]
- 利用系统动力学评估社会经济状况在结核病发病中的作用玛丽莎·安娜·桑切斯.464-475 [doi]
- 基于系统动力学模型的北京供热系统能耗和CO2排放和丰通,威双区.476-485 [doi]
- 分析发展中国家知识转移过程的形式化方法金童,Siraj A.Shaikh先生,安妮·E·詹姆斯.486-501 [doi]