计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2004年
1期
63-64,122
,共3页
自动机%模型检查%线性时态逻辑
自動機%模型檢查%線性時態邏輯
자동궤%모형검사%선성시태라집
首先介绍自动机识别有限词和无限词两种情况,然后结合模型检查方法,把自动机作为规范自动机与模型自动机,使用自动机识别语言的包含问题技巧来解决模型检查问题,这里强调的是Vardi与Wolper提出的方法.
首先介紹自動機識彆有限詞和無限詞兩種情況,然後結閤模型檢查方法,把自動機作為規範自動機與模型自動機,使用自動機識彆語言的包含問題技巧來解決模型檢查問題,這裏彊調的是Vardi與Wolper提齣的方法.
수선개소자동궤식별유한사화무한사량충정황,연후결합모형검사방법,파자동궤작위규범자동궤여모형자동궤,사용자동궤식별어언적포함문제기교래해결모형검사문제,저리강조적시Vardi여Wolper제출적방법.