Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking.

tienne Andr, Laurent Fribourg, Jean-Marc Mota, Romain Soulat

Browse the full VMCAI paper archive.