形式化分析--模型檢測

一、形式化分析：模態邏輯技術+模型檢測技術+定理證實技術      模型檢驗是一種自動驗證技術，它被成功地應用於驗證電腦硬件，並也開始被用於驗證電腦軟件。html     模型檢驗技術包括有限狀態機、Petri網和通訊進程演算。app   二、模型檢測技術   參考1--科學網文章：模型檢驗和維數災難（Model Checking and the Curse of Dimensionality） 

>>阅读原文<<