登入
選單
返回
Google圖書搜尋
Verifikacija končnih avtomatov s simboličnim preverjanjem modelov
Aleš Časar
其他書名
magistrsko delo
出版
A. Časar
, 1998
URL
http://books.google.com.hk/books?id=BL49OgAACAAJ&hl=&source=gbs_api
註釋
Magistrsko delo predstavlja učinkoviti orodji za obdelavo logičnih funkcij in končnih avtomatov. Učinkovitost algoritmov za iskanje dosegljivih stanj in simbolično preverjanje modelov s CTL lahko pripišemo predvsem uporabi ločenih prehajalnih relacij pri preiskovanju prostora stanj in izboljšanemu algoritmu za zamenjavo spremenljivk stanja. Ločevanje prehajalnih relacij je povsem avtomatično. Podani so eksperimentalni rezultati za množico testnih vezij ter analiza časovne in prostorske zahtevnosti programskih paketov.
