Model checking
Clarke, E. M., 1945-
Model checking Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. - Cambridge, Mass. : MIT Press, ©1999. - 1 online resource (xiv, 314 pages) : illustrations
Includes bibliographical references (pages 297-307) and index.
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.
0585385580 9780585385587 = EECS Computer Systems
Computer systems--Verification.
COMPUTERS--Software Development & Engineering--Systems Analysis & Design.
Computer systems--Verification.
Computersystemen.
Modellen (theorie)
Verificatie.
Electronic books.
004.21 C55M
Model checking Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. - Cambridge, Mass. : MIT Press, ©1999. - 1 online resource (xiv, 314 pages) : illustrations
Includes bibliographical references (pages 297-307) and index.
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.
0585385580 9780585385587 = EECS Computer Systems
Computer systems--Verification.
COMPUTERS--Software Development & Engineering--Systems Analysis & Design.
Computer systems--Verification.
Computersystemen.
Modellen (theorie)
Verificatie.
Electronic books.
004.21 C55M