Struktura i primjena MAGIC alata za verifikaciju C programa (CROSBI ID 372751)
Ocjenski rad | sveučilišni preddiplomski završni rad
Podaci o odgovornosti
Krilić, Andrija
Bogunović, Nikola
Bogunović, Nikola
hrvatski
Struktura i primjena MAGIC alata za verifikaciju C programa
MAGIC alat kao radni okvir namijenjen je analizi i rasuđivanju o programskim komponentama pisanim u C jeziku. Osnovni cilj MAGIC alata je provjera slaganja između specifikacije neke komponente i njezine implementacije. Posebna pažnja posvećuje se provjeri reaktivnih programa kao što su razne pogonske komponente (engl. device drivers). U radu je opisana struktura MAGIC alata, principi generiranja početnih formalnih modela te metode specijaliziranja i rafiniranja modela tijekom postupka. Na tipičnim primjerima realnih problema pokazana je uspješnost primjene. U zaključku sukomentirane prednosti i nedostaci prikazanog postupka verifikacije.
verifikacija programa; formalna verifikacija; CEGAR
nije evidentirano
engleski
Structure and application of MAGIC tool for C program verification
nije evidentirano
software verification; formal verification; CEGAR
nije evidentirano
Podaci o izdanju
40
03.07.2012.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Fakultet elektrotehnike i računarstva
Zagreb