太原师范学院学报(自然科学版)
太原師範學院學報(自然科學版)
태원사범학원학보(자연과학판)
JOURNAL OF TAIYUAN TEACHERS COLLEGE(NATURAL SCIENCE EDITION)
2007年
2期
54-56
,共3页
硬件%形式化验证%定理证明%等价性检验%模型检验
硬件%形式化驗證%定理證明%等價性檢驗%模型檢驗
경건%형식화험증%정리증명%등개성검험%모형검험
形式化验证用数学可证明的方式来验证系统.硬件设计的形式化验证通常有三种方法:定理证明、等价性检验和模型检验.文章着重分析了这三种方法的优缺点,探讨了形式化验证技术所面临的挑战,以及目前形式化验证技术可能的一些研究方向.
形式化驗證用數學可證明的方式來驗證繫統.硬件設計的形式化驗證通常有三種方法:定理證明、等價性檢驗和模型檢驗.文章著重分析瞭這三種方法的優缺點,探討瞭形式化驗證技術所麵臨的挑戰,以及目前形式化驗證技術可能的一些研究方嚮.
형식화험증용수학가증명적방식래험증계통.경건설계적형식화험증통상유삼충방법:정리증명、등개성검험화모형검험.문장착중분석료저삼충방법적우결점,탐토료형식화험증기술소면림적도전,이급목전형식화험증기술가능적일사연구방향.