Record Details

Catalog Search

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

Baier, Christel. (Author).
Book Book ([2008?])
Description: xvii, 975 pages : illustrations ; 26 cm
Publisher: Cambridge, Mass. : MIT Press, [2008?]
1 of 1 copy available at NOBLE (All Libraries).
1 of 1 copy available at Gordon College. (Show all copies)
0 current holds with 1 total copy.
Library Location Call Number Status Due Date
Gordon College Stack Level 5 QA 76.76 .V47 B35 2008 (Text to Phone) Available -

  • ISBN: 9780262026499
  • ISBN: 026202649X
Bibliography, etc.: Includes bibliographical references (pages 931-964) and index.
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.
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.
Authors: Katoen, Joost-Pieter. (Added Author).
Citation: Baier, Christel. "Principles of model checking." Cambridge, Mass. : MIT Press, 2008.

Additional Resources