Naslov
Primjena NuSMV sustava u formalnoj provjeri modela
(Application of NuSMV system in formal model checking)

Autori
Radak, Ivan

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad, preddiplomski

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
30.06

Godina
2011

Stranica
29

Mentor
Bogunović, Nikola

Neposredni voditelj
Bogunović, Nikola

Ključne riječi
formalne metode; formalna verifikacija; NuSMV
(formal methods; formal verification; NuSMV)

Sažetak
Formalna verifikacija postupkom provjere modela nastoji dokazati ili oboriti tvrdnju da formalni model implementacije logički zadovoljava željeno ponašanje izraženo u odabranoj vremenskoj logici. U radu je analiziran NuSMV sustav otvorenog koda za formalnu provjeru modela i objašnjene su temeljne strukture podataka i algoritmi u modeliranju implementacije digitalnih sklopova i programskih cjelina. Navedene su vrste specifikacije ponašanja koje se mogu izraziti u NuSMV sustavu . Na temelju odabranih primjera realne složenosti iz raznih domena pokazana je uporaba sustava. Analizirane su performanse sustava s obzirom na zauzeće računalnih resursa.

Izvorni jezik
Hrvatski

Znanstvena područja
Računarstvo

POVEZANOST RADA