相關詞條
-
模型檢測[自動驗證技術]
模型檢測(model checking)是一種很重要的自動驗證技術。它最早由Clarke和Emerson以及Quielle和Sifakis在1981年分別提出，主要通過顯式狀態搜尋或隱式不動點計算來驗證有窮狀態並發...
-
抽象解釋[形式化驗證方法的一種]
抽象解釋理論產生於Cousot.P和Cousot.R於1977年提出的程式靜態分析時構造和逼近(approxiamation)程...
-
趙建華[南京大學教師]
(主要包括模型檢驗(Model checking)，數據精化技術)，軟體工程... for OO-Model， SIGPLAN Notices 32(9)：P61...，Zheng Guoliang．5．On Checking Parallel...
人物經歷 研究方向 主要貢獻 -
模型檢測
簡介模型檢測模型檢測的基本思想是用狀態遷移系統(S)表示系統的行為，用模態邏輯公式(F)描述系統的性質。這樣“系統是否具有所期望...
簡介 套用
