相关推荐：

• 数理逻辑中的二阶逻辑与高阶逻辑
• 形式化验证：从混成系统到CPS
• 形式化验证讲义
• 网络安全认证协议讲义形式化分析
• 高速铁路列车运行控制系统的形式化建模与验证方法研究共3篇
• 做好pcp的知识汇总-概述说明以及解释
• 形式化验证工具Formalityshi实验报告
• recognizing safety and liveness 解读
• 低功耗验证方法学
• 形式化验证方法