计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2006年
33期
15-19
,共5页
屈婉霞%李暾%郭阳%杨晓东
屈婉霞%李暾%郭暘%楊曉東
굴완하%리돈%곽양%양효동
模型检验%谓词抽象%抽象精化%反例%插值
模型檢驗%謂詞抽象%抽象精化%反例%插值
모형검험%위사추상%추상정화%반례%삽치
在模型检验中,抽象技术是解决状态空间爆炸问题的有效方法之一.论文描述了模型检验对抽象模型的基本要求,给出了抽象模型的定义及其评价指标,对抽象技术和自动化的抽象精化技术的主要方法及其研究进展作了比较深入、全面的综述,并讨论了抽象技术今后的发展方向.
在模型檢驗中,抽象技術是解決狀態空間爆炸問題的有效方法之一.論文描述瞭模型檢驗對抽象模型的基本要求,給齣瞭抽象模型的定義及其評價指標,對抽象技術和自動化的抽象精化技術的主要方法及其研究進展作瞭比較深入、全麵的綜述,併討論瞭抽象技術今後的髮展方嚮.
재모형검험중,추상기술시해결상태공간폭작문제적유효방법지일.논문묘술료모형검험대추상모형적기본요구,급출료추상모형적정의급기평개지표,대추상기술화자동화적추상정화기술적주요방법급기연구진전작료비교심입、전면적종술,병토론료추상기술금후적발전방향.