塔里木大学学报
塔裏木大學學報
탑리목대학학보
JOURNAL OF TARIM UNIVERSITY
2013年
4期
119-124
,共6页
化希耀%苏博妮%陈立平%高贤强
化希耀%囌博妮%陳立平%高賢彊
화희요%소박니%진립평%고현강
模型检测%形式化验证%状态爆炸%状态约简%研究进展
模型檢測%形式化驗證%狀態爆炸%狀態約簡%研究進展
모형검측%형식화험증%상태폭작%상태약간%연구진전
从模型检测技术的研究背景入手,首先阐述了模型检测技术的基本原理和过程.然后介绍了制约模型检测技术发展的状态爆炸问题和一些状态约简技术,包括符号模型检测、on-the-fly技术、偏序归约和抽象技术,并对SPIN、NuSMV、UP-PAAL和PAT等模型检测工具进行了介绍和比较.最后总结了模型检测技术在新的应用领域、工具研制、算法研究和与其它技术相结合等几个方面的研究进展.可为今后进一步对并发和实时系统进行建模、仿真和验证提供借鉴和参考.
從模型檢測技術的研究揹景入手,首先闡述瞭模型檢測技術的基本原理和過程.然後介紹瞭製約模型檢測技術髮展的狀態爆炸問題和一些狀態約簡技術,包括符號模型檢測、on-the-fly技術、偏序歸約和抽象技術,併對SPIN、NuSMV、UP-PAAL和PAT等模型檢測工具進行瞭介紹和比較.最後總結瞭模型檢測技術在新的應用領域、工具研製、算法研究和與其它技術相結閤等幾箇方麵的研究進展.可為今後進一步對併髮和實時繫統進行建模、倣真和驗證提供藉鑒和參攷.
종모형검측기술적연구배경입수,수선천술료모형검측기술적기본원리화과정.연후개소료제약모형검측기술발전적상태폭작문제화일사상태약간기술,포괄부호모형검측、on-the-fly기술、편서귀약화추상기술,병대SPIN、NuSMV、UP-PAAL화PAT등모형검측공구진행료개소화비교.최후총결료모형검측기술재신적응용영역、공구연제、산법연구화여기타기술상결합등궤개방면적연구진전.가위금후진일보대병발화실시계통진행건모、방진화험증제공차감화삼고.