What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms.
Igor V. KonnovHelmut VeithJosef WidderPublished in: Ershov Memorial Conference (2015)
Keyphrases
- fault tolerant
- model checking
- fault tolerance
- distributed systems
- interconnection networks
- temporal logic
- data structure
- reachability analysis
- finite state
- load balancing
- deterministic finite automaton
- symbolic model checking
- verification method
- peer to peer
- epistemic logic
- orders of magnitude
- linear temporal logic
- formal specification
- finite state machines
- intelligent agents
- concurrent systems
- process algebra
- timed automata
- bounded model checking
- automated verification
- software engineering