形式验证的历史和方法

💡 原文中文,约2200字,阅读约需6分钟。
📝

内容提要

形式验证的历史和方法,包括形式推理、可证明的递归函数和类型论。形式验证对编程语言理论的影响,包括类型系统的发展和依赖类型语言的应用。实践方面包括SMT求解器、程序逻辑和模型检查。

🏷️

标签

➡️

继续阅读