# 系統分析與驗證

【系統分析與驗證筆記】線性時态邏輯LTL和計算樹邏輯CTL線性時态邏輯（Linear temporal logic，簡稱LTL）計算樹邏輯（ Computation tree logic，簡稱CTL）
# 系統分析與驗證 LTL ctl 系統分析與驗證線性時态邏輯計算數邏輯
04-24
$【系統分析與驗證筆記】關于自動機的規範語言（Specification Language）有限字的自動機（Automata on Finite Words）無限字的自動機（Automata on Finite Words）NBA和 ω \omega ω-正則語言Generalized NBA（簡寫為GNBA）[圖]$
【系統分析與驗證筆記】關于自動機的規範語言（Specification Language）有限字的自動機（Automata on Finite Words）無限字的自動機（Automata on Finite Words）NBA和 ω \omega ω-正則語言Generalized NBA（簡寫為GNBA）
# 系統分析與驗證 NFA NBA 自動機模型檢測形式化驗證
01-16
【系統分析與驗證筆記】Data-Dependent Systems和Program Graph講解有一個自動售貨機（Beverage Vending Machine），現在需要設計一個模型，計數蘇打水（soda）和啤酒（beer）的數量，如果自動售貨機是空的，則傳回插入的硬币（coin）
# 系統分析與驗證資料以來系統 Data-Dependent Program Graph
12-18