Application of Model Checking to Fault Tolerance Analysis.
Cinzia BernardeschiAndrea DomeniciPublished in: From Software Engineering to Formal Methods and Tools, and Back (2019)
Keyphrases
- model checking
- fault tolerance
- fault tolerant
- temporal logic
- finite state
- distributed systems
- automated verification
- reachability analysis
- formal verification
- peer to peer
- load balancing
- verification method
- failure recovery
- database replication
- response time
- mobile agents
- knowledge based systems
- formal methods
- static analysis
- temporal properties
- symbolic model checking
- timed automata
- multi agent