程序的形式驗證-資料下載頁
2025-10-02 14:08本頁面
【導讀】程序正確性的重要性。軟件錯誤的可能后果。軟件系統(tǒng)行為行為規(guī)范?；陲@式狀態(tài)的描述。命題邏輯、謂詞邏輯：狀態(tài)描述。程序推理模型檢測。掌握并能夠綜合應用以下知識:. 結(jié)構(gòu)化循環(huán)語句模型。流程圖模型/前后斷言
【正文】 模型 衛(wèi)式遷移模型 課程主要內(nèi)容 (2) 邏輯公式 程序邏輯 線性時序邏輯 LTL 計算樹邏輯 CTL/CTL* ?演算 課程主要內(nèi)容 (3,4) 形式驗證 程序推理 模型檢測 衛(wèi)式遷移模型 /LTL 流程圖模型 /前后斷言 線性時序邏輯 PLTL 計算樹邏輯 CTL 課程主要內(nèi)容 形式驗證 形式模型 邏輯公式 程序推理 模型檢測 謂詞邏輯模型 顯式狀態(tài)模型 程序邏輯 課程主要內(nèi)容 形式驗證 形式模型 邏輯公式 程序推理 模型檢測 謂詞邏輯模型 顯式狀態(tài)模型 程序邏輯 描述問題 刻畫行為 描述問題 刻畫行為 課程主要內(nèi)容 形式驗證 形式模型 邏輯公式 程序推理 模型檢測 謂詞邏輯模型 顯式狀態(tài)模型 程序邏輯 方法 /算法 原理及應用 方法 /算法 原理及應用 23 問題 ?
教學課件相關推薦
鄂ICP備17016276號-1