相关推荐：

• 形式化验证：从混成系统到CPS
• 形式化验证讲义
• 形式化验证工具Formalityshi实验报告
• 第二十一章 形式化建模与验证
• 形式化方法--程序的正确性验证-14
• 形式化验证笔记
• 第5章 形式化验证1
• 计算机系统形式化验证中的模型检测方法综述论文.doc
• 四川大学软件系统形式化验证(双语)Software System Model Checking教学大纲
• 形式化验证操作系统