Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 208777

AsmL Specification and Verification of Lamport's Bakery Algorithm


Botinčan, Matko
AsmL Specification and Verification of Lamport's Bakery Algorithm // Proceedings of the 27th International Conference on Information Technology Interfaces (ITI 2005) / Lužar-Stiffler, Vesna ; Hljuz Dobrić, Vesna (ur.).
Zagreb: University Computing Centre, 2005. str. 617-623 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)


CROSBI ID: 208777 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
AsmL Specification and Verification of Lamport's Bakery Algorithm

Autori
Botinčan, Matko

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the 27th International Conference on Information Technology Interfaces (ITI 2005) / Lužar-Stiffler, Vesna ; Hljuz Dobrić, Vesna - Zagreb : University Computing Centre, 2005, 617-623

Skup
27th International Conference on Information Technology Interfaces (ITI 2005)

Mjesto i datum
Cavtat, Hrvatska, 20-23.06.2005

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

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:

Avatar Url Matko Botinčan (autor)


Citiraj ovu publikaciju:

Botinčan, Matko
AsmL Specification and Verification of Lamport's Bakery Algorithm // Proceedings of the 27th International Conference on Information Technology Interfaces (ITI 2005) / Lužar-Stiffler, Vesna ; Hljuz Dobrić, Vesna (ur.).
Zagreb: University Computing Centre, 2005. str. 617-623 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Botinčan, M. (2005) AsmL Specification and Verification of Lamport's Bakery Algorithm. U: Lužar-Stiffler, V. & Hljuz Dobrić, V. (ur.)Proceedings of the 27th International Conference on Information Technology Interfaces (ITI 2005).
@article{article, author = {Botin\v{c}an, Matko}, year = {2005}, pages = {617-623}, keywords = {AsmL, abstract state machines, formal verification, concurrent programming}, title = {AsmL Specification and Verification of Lamport's Bakery Algorithm}, keyword = {AsmL, abstract state machines, formal verification, concurrent programming}, publisher = {University Computing Centre}, publisherplace = {Cavtat, Hrvatska} }
@article{article, author = {Botin\v{c}an, Matko}, year = {2005}, pages = {617-623}, keywords = {AsmL, abstract state machines, formal verification, concurrent programming}, title = {AsmL Specification and Verification of Lamport's Bakery Algorithm}, keyword = {AsmL, abstract state machines, formal verification, concurrent programming}, publisher = {University Computing Centre}, publisherplace = {Cavtat, Hrvatska} }




Contrast
Increase Font
Decrease Font
Dyslexic Font