查詢結果分析
相關文獻
- 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) |