Web usluga za verifikaciju digitalnih sustava (CROSBI ID 365034)
Ocjenski rad | sveučilišni preddiplomski završni rad
Podaci o odgovornosti
Petrušić, Marin
Bogunović, Nikola
Bogunović, Nikola
hrvatski
Web usluga za verifikaciju digitalnih sustava
Formalna verifikacija nastoji dokazati da matematički model implementacije digitalnog sustava logički zadovoljava specificirano ponašanje dano izjavom u vremenskoj logici. U radu je implementiran programski alat za formalnu verifikaciju digitalnih sustava NuSMV kao web usluga. Oblikovanje usluge uključuje postavljanje svih potrebnih programa na poslužiteljsko računalo kao i alata NuSMV. Sustav vodi evidenciju o prijavljenim korisnicima te može ograničiti broj istovremenih procesa verifikacije.
web usluge; formalna verifikacija; provjera modela
nije evidentirano
engleski
Web service for verification of digital systems
nije evidentirano
web service; formal verification; model checking
nije evidentirano
Podaci o izdanju
51
30.06.2011.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Fakultet elektrotehnike i računarstva
Zagreb