Catalog

Record Details

Catalog Search



Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.

Book Book (©1999.)
Description: xiv, 314 pages : illustrations ; 24 cm
Publisher: Cambridge, Mass. : MIT Press, ©1999.
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 C553 1999 (Text to Phone) Available -

  • ISBN: 0262032708
  • ISBN: 9780262032704
Bibliography, etc.: Includes bibliographical references (pages 297-307) and index.
Contents: Modeling systems -- Trmporal logics -- Model checking -- Binary decision diagram -- Symbolic model checking -- Model checking for the u-calculus -- Model checking in practice -- Model checking and automata theory -- Partial order reduction -- Equivalences and preorders between structures -- Compositional reasoning -- Abstraction -- Symmetry -- Infinite families of finite-state systems -- Discrete real-time and quantitative temporal analysis -- Continuous real time.
Authors: Grumberg, Orna. (Added Author). Peled, Doron A., 1962- (Added Author).

Citation:

Clarke, E M. "Model checking." Cambridge, Mass. : MIT Press, ©1999.

Additional Resources