A Case Study in the Mechanical Verification of Fault Tolerance.
Heiko MantelFelix C. GärtnerPublished in: FLAIRS Conference (2000)
Keyphrases
- fault tolerance
- fault tolerant
- distributed systems
- load balancing
- distributed computing
- response time
- high availability
- peer to peer
- group communication
- mobile agents
- distributed query processing
- fault management
- database replication
- model checking
- data sets
- single point of failure
- component failures
- expert systems
- failure recovery
- high scalability
- replicated databases
- node failures
- data replication
- error detection