hrvatski

Primjena NuSMV sustava u formalnoj provjeri modela

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.

formalne metode; formalna verifikacija; NuSMV

nije evidentirano