Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms
Annu JohnIgor KonnovUlrich SchmidHelmut VeithJosef WidderPublished in: CoRR (2012)
Keyphrases
- fault tolerant
- model checking
- distributed systems
- fault tolerance
- temporal logic
- deterministic finite automaton
- data structure
- reachability analysis
- orders of magnitude
- interconnection networks
- temporal properties
- formal verification
- reactive systems
- verification method
- concurrent systems
- process algebra
- graph theory
- finite state machines
- formal specification
- load balancing
- automated verification