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:
CoRR (2018)
Keyphrases
</>
model checking
verification method
asynchronous circuits
computational complexity
dynamic programming
temporal logic
automated verification
optimal solution
deterministic finite automaton
search space
formal methods
formal verification
epistemic logic
symbolic model checking
reachability analysis