Login / Signup
Verification of a Fault-Tolerant Property of a Multiprocessor System: A Case Study in Theorem Prover-Based Verification.
Mark Bickford
Mandayam K. Srivas
Published in:
TPCD (1992)
Keyphrases
</>
fault tolerant
theorem prover
fault tolerance
formal proof
distributed systems
model checking
high assurance
high availability
term rewriting
load balancing
theorem proving
first order logic
natural language
automated reasoning
interconnection networks
automated theorem proving