Pregled bibliografske jedinice broj: 40009
Modeling and Verification of Concurrent Programs
Modeling and Verification of Concurrent Programs // Proceedings 5th International Confernce on Telecommunications, CONTEL 99 / Kos, Mladen ; Pilipović, Smiljan (ur.).
Zagreb: Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu, 1999. str. 299-305 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 40009 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Modeling and Verification of Concurrent Programs
Autori
Podnar, Ivana
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Proceedings 5th International Confernce on Telecommunications, CONTEL 99
/ Kos, Mladen ; Pilipović, Smiljan - Zagreb : Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu, 1999, 299-305
Skup
5th International Confernce on Telecommunications, CONTEL 99
Mjesto i datum
Zagreb, Hrvatska, 15.06.1999. - 18.06.1999
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Sažetak
The paper addresses two approaches to concurrent software verification: SPIN verification models and Generalized Stochastic Petri Nets (GSPNs). The GSPN model of a concurrent program is derived directly from PROMELA code, input language for SPIN verification system, applying straightforward statement translation rules. The translation procedure ensures that a SPIN model and the corresponding GSPN model are formally equivalent, which enables the comparison of the modeling techniques. The main contribution of the paper is the comparison of results obtained by SPIN verification procedure with both structural and performance properties of the GSPN model.
Izvorni jezik
Engleski
Znanstvena područja
Elektrotehnika
POVEZANOST RADA
Projekti:
036004
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
Profili:
Ivana Podnar Žarko
(autor)
