Naslov
Formalna verifikacija digitalnih sustava provjerom modela
(Formal verification of digital systems by model checking)

Autori
Mlinarić, Maja

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

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
14.07

Godina
2010

Stranica
36

Mentor
Bogunović, Nikola

Neposredni voditelj
Bogunović, Nikola

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

Sažetak
Postupak formalne verifikacije provjerom modela nastoji dokazati ili oboriti (uz generirani protuprimjer) da li formalni model implementacije nekog sustava logički zadovoljava željeno ponašanje izraženo odabranom vremenskom logikom. U radu je potrebno analizirati jedan sustav otvorenog koda za formalnu provjeru modela i objasniti temeljne strukture podataka i algoritme za modeliranje implementacije sustava. Na temelju odabranih primjera realne složenosti iz raznih domena pokazati uporabu sustava. Komentirati prednosti i nedostatke prikazane metode u kontekstu cjelokupnog procesa oblikovanja digitalnih sustava..

Izvorni jezik
Hrvatski

Znanstvena područja
Računarstvo

POVEZANOST RADA