Pregled bibliografske jedinice broj: 208777
AsmL Specification and Verification of Lamport's Bakery Algorithm
AsmL Specification and Verification of Lamport's Bakery Algorithm // Proceedings of the 27th International Conference on Information Technology Interfaces (ITI 2005) / Lužar-Stiffler, Vesna ; Hljuz Dobrić, Vesna (ur.).
Zagreb: Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 2005. str. 617-623 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 208777 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
AsmL Specification and Verification of Lamport's Bakery Algorithm
Autori
Botinčan, Matko
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Proceedings of the 27th International Conference on Information Technology Interfaces (ITI 2005)
/ Lužar-Stiffler, Vesna ; Hljuz Dobrić, Vesna - Zagreb : Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 2005, 617-623
Skup
27th International Conference on Information Technology Interfaces (ITI 2005)
Mjesto i datum
Cavtat, Hrvatska, 20.06.2005. - 23.06.2005
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
AsmL; abstract state machines; formal verification; concurrent programming
Sažetak
We present a specification of Lamport's Bakery algorithm written in AsmL specification language. By exploration of the state space of the induced labeled transition system we show how to verify important safety and liveness properties of the algorithm.
Izvorni jezik
Engleski
Znanstvena područja
Matematika, Računarstvo
POVEZANOST RADA
Projekti:
0037104
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
Profili:
Matko Botinčan
(autor)
