Project title
元件合成軟體之形式化驗證初探
Internal ID
92-2213-E-002-061-
Principal Investigator
Start Date
August 1, 2003
End Date
July 31, 2004
Partner Organizations
元件合成軟體之形式化驗證初探
Keywords
假設∕保證
自動驗證
元件合成軟體
組合式驗證
正確性
形式化方法
模型檢驗
模組化驗證
軟體元件
規格
時間邏輯
驗證
Assumption-Guarantee
Automated Verification
Component-Based Software
Compositional Verification
Correctness
Formal Methods
Model Checking
Modular Verification
Software Components
Specification
Temporal Logic
Verification