A Practical Method for Reasoning about Distributed Systems in a Theorem Prover.

Published in: TPHOLs (1995)

Keyphrases

distributed systems
theorem prover
fault tolerant
fault tolerance
knowledge representation
operating system
tabu search
load balancing