A case study in the mechanical verification of fault tolerance.
Heiko MantelFelix C. GärtnerPublished in: J. Exp. Theor. Artif. Intell. (2000)
Keyphrases
- fault tolerance
- fault tolerant
- load balancing
- distributed computing
- distributed systems
- response time
- high availability
- group communication
- replicated databases
- fault management
- mobile agents
- peer to peer
- distributed query processing
- database replication
- failure recovery
- model checking
- error detection
- data replication
- high performance computing
- data sets
- high scalability
- single point of failure