Model Checking for the Fault Tolerance of Collaborative AUVs.
Hong LiuTianyu YangJing WangPublished in: HASE (2016)
Keyphrases
- fault tolerance
- model checking
- fault tolerant
- autonomous underwater vehicle
- temporal logic
- model checker
- distributed systems
- formal verification
- autonomous underwater vehicles
- temporal properties
- load balancing
- automated verification
- formal specification
- response time
- symbolic model checking
- peer to peer
- timed automata
- formal methods
- epistemic logic
- verification method
- computation tree logic
- transition systems
- mobile agents
- bounded model checking
- data replication
- cooperative
- data management
- description language
- modal logic
- alternating time temporal logic
- knowledge base
- satisfiability problem
- knowledge based systems
- web services