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.
Table of Contents:
  • System verification
  • Modelling concurrent systems
  • Linear-time properties
  • Regular properties
  • Linear temporal logic
  • Computation tree logic
  • Equivalences and abstraction
  • Partial order reduction
  • Timed automata
  • Probabilistic systems.

Similar Items