Correctness Verification of Mutual Exclusion Algorithms by Model Checking

Mutual exclusion algorithms are at the heart of concurrent/parallel and distributed systems. It is well known that such algorithms are very difficult to analyze, and in the literature, different conjectures about starvation freedom and the number of by-passes (also called the overtaking factor) exis...

Full description

Bibliographic Details

Published in:	Modelling
Main Authors:	Libero Nigro, Franco Cicirelli
Format:	Article
Language:	English
Published:	MDPI AG 2024-06-01
Subjects:	mutual exclusion algorithms correctness analysis automated reasoning model checking statistical model checking Timed Automata
Online Access:	https://www.mdpi.com/2673-3951/5/3/37