Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms.
Annu GmeinerIgor KonnovUlrich SchmidHelmut VeithJosef WidderPublished in: SFM (2014)
Keyphrases
- fault tolerant
- model checking
- fault tolerance
- distributed systems
- temporal logic
- interconnection networks
- deterministic finite automaton
- formal verification
- formal specification
- orders of magnitude
- load balancing
- reachability analysis
- finite state machines
- computational complexity
- data structure
- distributed databases
- graph theory
- modeling language
- peer to peer
- finite state
- reactive systems
- verification method
- artificial intelligence