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...
Guardat en:
| Autors principals: | , |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
MDPI AG
2024-06-01
|
| Col·lecció: | Modelling |
| Matèries: | |
| Accés en línia: | https://www.mdpi.com/2673-3951/5/3/37 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|