Pregled bibliografske jedinice broj: 604759
Model Checking Executable Specification for Reactive Components
Model Checking Executable Specification for Reactive Components // VALID 2012 The Fourth International Conference on Advances in System Testing and Validation Lifecycle / Alimohammad, A., Dini, P. (ur.).
Lisabon: International Academy, Research, and Industry Association (IARIA), 2012. str. 107-113 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 604759 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Model Checking Executable Specification for Reactive Components
Autori
Bruno Blašković
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
ISBN
978-1-61208-025-3
Skup
VALID 2012 The Fourth International Conference on Advances in System Testing and Validation Lifecycle
Mjesto i datum
Lisabon, Portugal, 18.11.2012. - 23.11.2012
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
executable specification; reactive component; software model checking; model transformation
Sažetak
Finding design errors in the earliest phase of software developments is still challenging area of research. This paper deals with model checking of executable specification. Executable specification is introduced as C program. After that, C program is transformed into an input model for the Spin model checker. At the end, an example for the Zune30 bug is presented.
Izvorni jezik
Engleski
Znanstvena područja
Elektrotehnika
POVEZANOST RADA
Projekti:
036-0362027-1638 - Umrežena ekonomija (Skočir, Zoran, MZO ) ( CroRIS)
036-0362027-1640 - Upravljanje mrežom i uslugama temeljeno na znanju (Jevtić, Dragan, MZO ) ( CroRIS)
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
Profili:
Bruno Blašković
(autor)
