Login / Signup
Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking.
Étienne André
Laurent Fribourg
Jean-Marc Mota
Romain Soulat
Published in:
VMCAI (2019)
Keyphrases
</>
model checking
verification method
dynamic programming
asynchronous circuits
temporal logic
deterministic finite automaton
formal specification
model checker
optimal solution
computational complexity
search space
artificial intelligence
np hard
automated verification