形式化方法在英国的发展与部署

英国研究人员对支撑计算机系统规约与开发形式化方法的技术理念作出了重大贡献。或许正因如此，一些将理论思想部署到实际环境的重要尝试发生在英国。本文作者多年来一直从事形式化方法研究，且都追踪了这段历史的相当大一部分。本文既列出了关键思想，也指出了在何处尝试将这些思想用于实践。并非所有这些部署故事都取得了完全成功，本文试图梳理出那些影响长期影响概率的经验教训。