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

Author/creator Clarke, Edmund M.
Other author Grumberg, Orna.
Other author Peled, Doron A., 1962-
Format Book
Publication InfoCambridge, Mass. : MIT Press, ©1999.
Descriptionxiv, 314 pages : illustrations ; 24 cm
Subjects
Computer systems--Verification.

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.
Bibliography noteIncludes bibliographical references (p. [297]-307) and index.
LCCN 99017979
ISBN0262032708 (alk. paper)
ISBN9780262032704 (alk. paper)