Statistical Model Checking of Lamport’s Bakery Mutual Exclusion Algorithm

Lecture notes in networks and systems 2026

View at publisher

Authors: Libero Nigro, Franco Cicirelli

DOI: 10.1007/978-3-032-11518-8_12

Cited by: 0

References: 15

Fields of Study & Subjects

Distributed systems and fault tolerance Formal Methods in Verification Radiation Effects in Electronics

References 15