Izvorni znanstveni članak
https://doi.org/10.2498/cit.2005.04.09
AsmL Specification and Verification of Lamport’s Bakery Algorithm
Matko Botinčan
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.
Ključne riječi
Hrčak ID:
44683
URI
Datum izdavanja:
30.12.2005.
Posjeta: 1.664 *