形式化分析--模型检测

一、形式化分析：模态逻辑技术+模型检测技术+定理证实技术      模型检验是一种自动验证技术，它被成功地应用于验证电脑硬件，并也开始被用于验证电脑软件。html     模型检验技术包括有限状态机、Petri网和通讯进程演算。app   二、模型检测技术   参考1--科学网文章：模型检验和维数灾难（Model Checking and the Curse of Dimensionality） 

>>阅读原文<<