Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems.
Jonathan EzekielAndrea LomuscioPublished in: Inf. Comput. (2017)
Keyphrases
- fault tolerance
- model checking
- fault injection
- verification method
- multi agent systems
- fault tolerant
- temporal logic
- coalition logic
- epistemic logic
- bounded model checking
- formal specification
- load balancing
- formal verification
- response time
- model checker
- distributed systems
- java card
- pspace complete
- computation tree logic
- multi agent
- mobile agents
- formal methods
- peer to peer
- fault model
- data replication
- game theory
- complex systems
- intelligent agents
- error detection
- modal logic
- artificial intelligence