A Study and Survey on Formal Verification Methods for Validating and Verifying the Specifications of Digital Systems
推薦分享
資源連結
連結到原始資料 (您即將開啟新視窗離開本站)後設資料
- 資料識別：
- A11034936
- 資料類型：
- 期刊論文
- 著作者：
- 陳聰明
- 主題與關鍵字：
- 設計確認與驗證 功能性規格 正規方法 定理證明 模型核對 機器等效 語言涵蘊 狀態發掘 Design validation and verification Functional specification Formal methods Theorem proving Model checking Machine equivalence Language containment State exploration
- 描述：
- 來源期刊:萬能學報
- 卷期:33 2011.07[民100.07]
- 頁次:頁283-304
- 日期：
- 20110700
- 來源：
- 臺灣期刊論文索引系統
- 管理權：
- 國家圖書館
授權聯絡窗口
- 管理單位：知識服務組-期刊
聯絡E-mail：nclper@ncl.edu.tw
電話：02-23619132轉305
