Naslov
Provjera signalizacijskih protokola postupkom perturbacije stanja
(Model Checking Signalling Protocol with State Perturbation)

Autori
Brajdić, Alen

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
01.02

Godina
1995

Stranica
110

Mentor
Lovrek, Ignac

Neposredni voditelj
Blašković, Bruno

Ključne riječi
verifikacija protokola ; perturbacija stanja ; Holtzmannov algoritam dostupnosti
(protocol verification ; state perturbation ; Holtzmann's reachability algorithm)

Sažetak
U radu je implementiran i testiran Hollzmanov algoritam dostupnosti za verifikaciju konkurentnih reaktivnih sustava.

Izvorni jezik
Hrvatski

Znanstvena područja
Elektrotehnika, Računarstvo

Napomena
Samo godinu dana kasnije proradio je internet i originalni Spin programski alat postao je svima dostupan. Po mojim (Blašković) dostupnim podacima i saznanjima osim Mohtiar Ben-Ari (Izrael) to je jedina implementacija osim Holtzmannove.

POVEZANOST RADA