Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement.

Nick Giannarakis Ryan Beckett Ratul Mahajan David Walker

Published 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