Skoči na glavni sadržaj

Izvorni znanstveni članak

https://doi.org/10.2498/cit.2005.04.09

AsmL Specification and Verification of Lamport’s Bakery Algorithm

Matko Botinčan


Puni tekst: engleski pdf 304 Kb

str. 313-319

preuzimanja: 1.209

citiraj


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

https://hrcak.srce.hr/44683

Datum izdavanja:

30.12.2005.

Posjeta: 1.612 *