查詢結果分析
相關文獻
- A Survey on Formal Theorem Proving and Model Checking Methods for Validating Digital Systems
- A Study and Survey on Formal Verification Methods for Validating and Verifying the Specifications of Digital Systems
- A Set of Design Validation Criteria and a Universal Model for Defining Functional Specification of Digital Systems
- A Set of Design Validation Criteria and a Universal Model for Defining Functional Specification of Digital Systems
頁籤選單縮合
| 題 名 | A Survey on Formal Theorem Proving and Model Checking Methods for Validating Digital Systems=確認數位系統設計之定理證明與模型核對正規驗證方法之初期綜覽 |
|---|---|
| 作 者 | 陳聰明; | 書刊名 | 萬能學報 |
| 卷 期 | 29 2007.07[民96.07] |
| 頁 次 | 頁123+125-138 |
| 分類號 | 448.5 |
| 關鍵詞 | 設計確認; 功能性規格; 正規定理證明; 模型核對; Design validation; Functional specification; Formal theorem proving; Model checking; |
| 語 文 | 英文(English) |