因此,本文提出了一種建立包含多線程交互及線程內代碼亂序執行的完整模型,並利用模型檢測工具進行窮舉檢測的算法。
因此,本文提出了一種建立包含多線程交互及線程內代碼亂序執行的完整模型,並利用模型檢測工具進行窮舉檢測的算法
對併發傳值系統進行模型檢測需要建立相應的抽象模型,帶賦值的符號遷移圖是一種廣為使用的抽象模型。
在諸多的系統分析和驗*方法中,模型檢測技術是近二十年來最成功的自動驗*技術之一。
模型檢測通過遍歷系統所有可達的狀態空間來驗*系統是否滿足特定的安全屬*。