Combining fault injection and model checking to verify fault tolerance in multi-agent systems.
Jonathan EzekielAlessio LomuscioPublished in: AAMAS (1) (2009)
Keyphrases
- fault tolerance
- model checking
- fault injection
- verification method
- multi agent systems
- fault tolerant
- coalition logic
- temporal logic
- load balancing
- model checker
- epistemic logic
- distributed systems
- response time
- formal verification
- bounded model checking
- formal specification
- computation tree logic
- java card
- mobile agents
- error detection
- fault model
- pspace complete
- cooperative
- peer to peer
- sensor nodes
- logical framework
- modal logic
- intelligent agents
- wireless sensor networks
- alternating time temporal logic