Naslov
Verifikacija protokola metodom duologa
(Protocol verification with Duologs)

Autori
Gabri, Sanja

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
12.12

Godina
1988

Stranica
50

Mentor
Lovrek, Ignac

Neposredni voditelj
Blašković, Bruno

Ključne riječi
signalizacijski protokol ; verifikacija ; SSno.7, Duolog metoda
(signalling protocol ; verification ; SSno.7 ; Duolog method)

Sažetak
U radu se ispituje mogućnost primjene logičkog programiranja za verifikaciju protokola metodom duologa. Metoda duologa pogodna je za implementaciju kroz logičke programe. Kompleksnost problema zahtjeva daljnu prilagodbu kroz formalizaciju CCITT specifikacija kroz proširenje programskih modula.

Izvorni jezik
Hrvatski

Znanstvena područja
Elektrotehnika, Računarstvo

POVEZANOST RADA