相关推荐：

• Coq的软件安全性验证
• 形式化软件开发方法
• 软件开发中为什么使用形式化方法
• 软件工程的形式化方法第六讲
• 基于Hoare逻辑的密码软件形式化验证系统
• 软件形式化方法-模拟题-3
• 形式化验证工具Formalityshi实验报告
• 软件体系结构_软件体系结构形式化描述
• 第二十一章 形式化建模与验证
• 形式化方法--程序的正确性验证-14