izvor podataka: crosbi
✓
AsmL Specification and Verification of Lamport's Bakery Algorithm (CROSBI ID 120402)
Prilog u časopisu | izvorni znanstveni rad
Botinčan, Matko
AsmL Specification and Verification of Lamport's Bakery Algorithm // CIT. Journal of computing and information technology, 13 (2005), 313-319-x
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 izdanju
Povezanost rada
Povezane osobe