Principles of model checking / Christel Baier, Joost-Pieter Katoen.
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:
Online Access: |
Full Text (via ProQuest) |
---|---|
Main Author: | |
Other Authors: | |
Format: | eBook |
Language: | English |
Published: |
Cambridge, Mass. :
MIT Press,
[2008?]
|
Subjects: |
Search Result 1