查詢結果分析
相關文獻
- A Study and Survey on Formal Verification Methods for Validating and Verifying the Specifications of Digital Systems
- A Survey on Formal Theorem Proving and Model Checking Methods for Validating Digital Systems
- 規格描述語言統行為的建構方法
- A Set of Design Validation Criteria and a Universal Model for Defining Functional Specification of Digital Systems
- 智慧卡及其相關產品評估架構初探--以智慧卡系統對公開以及私人市場的安全評估架構為例
- 您話多說了嗎?Resolution Theorem Proving在說話與解題中的應用
頁籤選單縮合
題 名 | A Study and Survey on Formal Verification Methods for Validating and Verifying the Specifications of Digital Systems=確認與驗證數位系統之正規驗證方法之研究綜覽 |
---|---|
作 者 | 陳聰明; | 書刊名 | 萬能學報 |
卷 期 | 33 2011.07[民100.07] |
頁 次 | 頁283-304 |
分類號 | 448.537 |
關鍵詞 | 設計確認與驗證; 功能性規格; 正規方法; 定理證明; 模型核對; 機器等效; 語言涵蘊; 狀態發掘; Design validation and verification; Functional specification; Formal methods; Theorem proving; Model checking; Machine equivalence; Language containment; State exploration; |
語 文 | 英文(English) |