模型檢測原理、方法學習

模型檢測學習 一、模型檢測概論 1.1 模型檢測所解決的問題：保證併發系統正確性和可靠性 1.2 特點：自動化程度高、簡潔明瞭 1.3 發展：用於描述併發系統性質的CTL邏輯 符號模型檢測技術 1.4 基本思想： 用狀態遷移系統（S）表示系統的行爲，用模態/時序邏輯公式（F）描述系統的性質,這樣「系統是否具有所期望的性質」就轉化爲數學問題「狀態遷移系統 S 是否是時序邏輯公式 F 的一個模型？」，

>>阅读原文<<