線性時态邏輯

【系統分析與驗證筆記】線性時态邏輯LTL和計算樹邏輯CTL線性時态邏輯（Linear temporal logic，簡稱LTL）計算樹邏輯（ Computation tree logic，簡稱CTL）
# 系統分析與驗證 LTL ctl 系統分析與驗證線性時态邏輯計算數邏輯
04-24
【面向計算機的數理邏輯/軟體理論基礎筆記】形式化驗證、模型檢測、線性時态邏輯LTL形式化驗證模型檢測（Model Checking）線性時态邏輯（Linear-time Temporal Logic，簡寫為LTL）
# 面向計算機的數理邏輯 LTL 線性時态邏輯 temporal logic 形式化驗證
04-24