Sold out
More about the book
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.
Book purchase
Lecture Notes in Computer Science, B.T. Hailpern
- Language
- Released
- 1982
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.
- Title
- Lecture Notes in Computer Science
- Language
- English
- Authors
- B.T. Hailpern
- Publisher
- Springer Science & Business Media
- Released
- 1982
- Format
- Paperback
- ISBN10
- 3540112057
- ISBN13
- 9783540112051
- Series
- Description
- 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.