Principles of model checking /

Principles of model checking / Christel Baier, Joost-Pieter Katoen.

Show other versions (1)

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:
Bibliographic Details
Online Access: Full Text (via ProQuest)
Main Author: Baier, Christel
Other Authors: Katoen, Joost-Pieter
Format: eBook
Language:English
Published: Cambridge, Mass. : MIT Press, [2008?]
Subjects:
Computer systems > Verification.
Computer software > Verification.
Computer systems > Verification > Mathematical models.
Description
Summary: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.
Physical Description:1 online resource (xvii, 975 pages) : illustrations.
Bibliography:Includes bibliographical references (pages 931-964) and index.
ISBN:9780262267564
026226756X
9781435643277
1435643275
1282099574
9781282099579
9786612099571
6612099577

Similar Items