Formal Verification of Fault Tolerance Using Theorem-Proving Techniques.
Joseph Kljaich Jr.Brian T. SmithAnthony S. WojcikPublished in: IEEE Trans. Computers (1989)
Keyphrases
- formal verification
- fault tolerance
- theorem proving
- fault tolerant
- model checking
- automated reasoning
- distributed computing
- first order logic
- inference rules
- load balancing
- automated deduction
- decision procedures
- automated verification
- bounded model checking
- theorem prover
- term rewriting
- distributed systems
- model checker
- response time
- group communication
- parallel search
- fault management
- proof procedure
- automated theorem proving
- symbolic model checking
- replicated databases
- database replication
- geometry theorem proving
- consequence finding
- mobile agents
- error detection
- proof planning
- failure recovery
- random variables
- single point of failure