This work presents a technique for proving safety and liveness properties of parallel programs. It describes new tools for verifying programs and heuristics for developing proofs.
B.T. Hailpern Book order (chronological)
Explore the latest books of this year!
