1、网络与分布式系统形式化技术：理论与实践

网络与分布式系统形式化技术：理论与实践

1. 会议概述

FORTE 2005（Formal Techniques for Networked and Distributed Systems）由国际信息处理联合会（IFIP）技术委员会 6（TC6）的工作组 6.1 赞助。该会议系列始于 1981 年，最初名为 PSTV（Protocol Specification, Testing, and Verification），1988 年又推出了名为 FORTE 的系列，二者于 1996 年合并为 FORTE/PSTV，2001 年会议名称正式改为 FORTE。

2005 年 10 月 2 日至 5 日，第 25 届 FORTE 会议在台湾大学美丽的校园举行。会议涵盖了广泛的领域，包括形式描述技术（如 MSC、UML、用例等）、语义基础、模型检查、基于 SAT 的技术、进程代数、抽象、协议测试、协议验证、网络综合、安全系统分析、网络鲁棒性、嵌入式系统、通信协议以及一些有前景的新技术。

本次会议共收到 88 份投稿，接受了 33 篇常规论文和 6 篇短文。所有投稿均经过三次评审。最终议程还包括 3 场主题演讲，分别由 Amir Pnueli 教授、Constance Heitmeyer 博士和 Teruo Higashino 教授主讲，以及 3 场教程，分别由 Rance Cleaveland 教授、Constance Heitmeyer 博士和 Teruo Higashino 教授授课。会议论文集还收录了主题演讲的内容。此外，还安排了社交活动，包括招待会、宴会和游览。

FORTE 2005 与 ATVA 2005（Automated Technology for Verificat