Parameterized model checking of fault-tolerant distributed algorithms by abstraction.
Annu JohnIgor KonnovUlrich SchmidHelmut VeithJosef WidderPublished in: FMCAD (2013)
Keyphrases
- fault tolerant
- model checking
- distributed systems
- fault tolerance
- temporal logic
- reachability analysis
- interconnection networks
- concurrent systems
- bounded model checking
- finite state
- deterministic finite automaton
- orders of magnitude
- load balancing
- formal verification
- finite state machines
- temporal properties
- data structure
- epistemic logic
- formal specification
- response time
- state space
- wireless sensor networks