An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP.

Ocan Sankur Jean-Pierre Talpin

Published in: TACAS (1) (2017)

Keyphrases

model checking
temporal logic
bounded model checking
formal verification
temporal properties

finite state
automated verification
reachability analysis
timed automata

verification method
finite state machines
computation tree logic
model checker

formal specification
epistemic logic
modal logic
artificial intelligence