AsmL Specification and Verification of Lamport's Bakery Algorithm (CROSBI ID 509411)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Botinčan, Matko
engleski
AsmL Specification and Verification of Lamport's Bakery Algorithm
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.
AsmL; abstract state machines; formal verification; concurrent programming
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
617-623-x.
2005.
objavljeno
Podaci o matičnoj publikaciji
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)
Podaci o skupu
27th International Conference on INFORMATION TECHNOLOGY INTERFACES ITI 2005
predavanje
20.06.2005-23.06.2005
Cavtat, Hrvatska