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