Abstractions for Fault-Tolerant Distributed System Verification.
Lee PikeJeffrey MaddalonPaul S. MinerAlfons GeserPublished in: TPHOLs (2004)
Keyphrases
- fault tolerant
- distributed systems
- concurrent systems
- fault tolerance
- high assurance
- geographically distributed
- load balancing
- distributed environment
- message passing
- operating system
- model checking
- high availability
- distributed computing
- mobile agents
- state machine
- mobile computing
- data replication
- distributed database systems
- multimedia
- belief propagation
- artificial intelligence
- data availability
- replicated data