×
吉姆·戴维斯（编辑）；杰里米·吉本斯（编辑）

综合正式方法。2007年7月2日至5日，第六届国际会议，IFM 2007，英国牛津。诉讼程序。 （英语） Zbl 1120.68004号

计算机科学课堂讲稿4591.柏林：施普林格出版社（ISBN 978-3-540-73209-9/pbk）。ix，660页。(2007).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。上一次会议已经过审查（参见Zbl 1122.68011号).
索引文章：
英戈·布吕克纳，切片并发实时系统规范验证，54-74[Zbl 1213.68366号]
詹斯·卡拉梅；Natalia Ioustinova；雅各布·范德波尔；纳塔利亚·西多罗娃，用假阴性寻找虫子，98-117[Zbl 1213.68367号]
陈一峰，继承与州有关的过程的法律，138-155[Zbl 1213.68368号]
约翰·德里克（John Derrick）；格哈德·谢尔霍恩（Gerhard Schellhorn）；海克·卫尔海姆，通过非原子求精证明线性化能力，195-214[Zbl 1213.68370号]
史蒂夫·邓恩（Steve Dunne）；安迪·加洛韦，可以将一般正确性提升为部分正确性，215-232[Zbl 1213.68371号]
约翰·费伯（Johannes Faber）；瑞典雅各布斯；维奥里卡Sofrone-Stokkerman，使用复杂数据类型和定时参数验证CSP-OZ-DC规范，233-252[Zbl 1213.68374号]
米哈埃拉·乔尔吉；阿里·古芬克尔（Arie Gurfinkel）；玛莎·契契克，查找时态逻辑查询的状态解决方案，273-292[Zbl 1213.68377号]
哈勒尔斯泰德（Hallerstede）、斯特凡（Stefan）；Hoang，泰国儿子，事件B中的定性概率建模，293-312[Zbl 1213.68205号]
奥斯曼·哈桑；索菲涅·塔哈尔，使用累积分布函数验证HOL中的概率属性，333-352[Zbl 1213.68380号]
何继峰，web服务的UTP语义，353-372[Zbl 1213.68111号]
克里斯蒂·马尔，捕捉CSP中的冲突和困惑，413-438[Zbl 1213.68408号]
拉里萨·梅尼基；格雷姆·史密斯，用于推理实时系统可靠性的逐步开发过程，439-458[Zbl 1213.68136号]
比约恩·梅茨勒，分解集成规范以进行验证，459-479[Zbl 1213.68384号]
奥斯蒂克（Oostdijk），马蒂恩（Martijn）；鲁苏、弗拉德；特雷特曼，Jan；德弗里斯，R.G。；威姆斯，T.A.C。，集成加密协议的验证、测试和学习，538-557[Zbl 1213.68387号]
格温·萨拉恩；Jeff Kramer；弗雷德里克·朗；杰夫·马吉，将FSP转换为LOTOS和自动机网络，558-578[Zbl 1213.68410号]
迈克尔·安东尼·史密斯；杰里米·吉本斯《统一物体理论》，599-618[Zbl 1213.68209号]
托本，托比，通信系统数据类型缩减的非干扰属性，619-638[Zbl 1213.68128号]

引用于2评论
引用于5文件

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
60年第68季度 规范和验证（程序逻辑、模型检查等）
00B25型 杂项特定利益的会议记录

引文：

Zbl 1122.68011号
PDF格式BibTeX公司 XML格式引用
\textit{J.Davies}（编辑）和\textit{J.Gibbons}（主编），综合形式方法。2007年7月2-5日在英国牛津举行的第六届国际会议，IFM 2007。诉讼程序。柏林：施普林格出版社（2007；Zbl 1120.68004）
全文： 内政部