Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement.
Nick GiannarakisRyan BeckettRatul MahajanDavid WalkerPublished in: CAV (2) (2019)
Keyphrases
- fault tolerance
- fault tolerant
- peer to peer
- fault management
- model checking
- single point of failure
- distributed systems
- load balancing
- distributed computing
- group communication
- response time
- node failures
- database replication
- high availability
- formal verification
- computer networks
- network traffic
- component failures
- wireless sensor
- network management
- mobile agents
- data replication
- failure recovery
- error detection
- network structure
- data sets