Principles of model checking /
Model checking systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This text offers an introduction to this verification and debugging technique.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge, Mass. :
MIT Press,
[2008?]
|
| Series: | MIT Press Ser.
|
| Subjects: | |
| Online Access: |
Full text (Emmanuel users only) |