An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP
Abstract elided by the publisher.
Related papers
- Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking VMCAI 2019
- QuickSilver: modeling and parameterized verification for distributed agreement-based systems OOPSLA 2021
- Regular Abstractions for Array Systems POPL 2024
- Model Checking Distributed Protocols in Must OOPSLA 2024
- Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing OOPSLA 2026
- Leader Election in Uniform Rings TOPLAS 1993
- How to Win First-Order Safety Games VMCAI 2020
- Igloo: soundly linking compositional refinement and separation logic for distributed system verification OOPSLA 2020