Efficient SMT-Based Network Fault Tolerance Verification.
Yu LiuPavle SuboticEmmanuel LetierSergey MechtaevAbhik RoychoudhuryPublished in: FM (2023)
Keyphrases
- fault tolerance
- fault tolerant
- peer to peer
- fault management
- single point of failure
- distributed computing
- component failures
- high availability
- load balancing
- response time
- distributed systems
- database replication
- replicated databases
- error detection
- network traffic
- mobile agents
- communication networks
- failure recovery
- statistical machine translation
- expert systems
- wireless sensor networks
- node failures
- wireless sensor
- data replication
- artificial intelligence
- network structure