Pregled bibliografske jedinice broj: 234034
AsmL Specification and Verification of Lamport's Bakery Algorithm
AsmL Specification and Verification of Lamport's Bakery Algorithm // Journal of Computing and Information Technology - CIT, 13 (2005), 313-319 (podatak o recenziji nije dostupan, članak, znanstveni)
CROSBI ID: 234034 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
AsmL Specification and Verification of Lamport's Bakery Algorithm
Autori
Botinčan, Matko
Izvornik
Journal of Computing and Information Technology - CIT (1330-1136) 13
(2005);
313-319
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
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)
Citiraj ovu publikaciju:
Uključenost u ostale bibliografske baze podataka::
- The INSPEC Science Abstracts series
- Zentralblatt fuer Mathematik
- Mathematics Abstracts
- LISA Library and Information Science Abstracts
