Model Checking photograph

Model Checking

Book by Doron A. Peled, Edmund M. Clarke, and Orna Grumberg
Use attributes for filter !
Google books books.google.com
Originally published 1999
Authors Orna Grumberg
Edmund M. Clarke
Doron A. Peled
GenresStudy Guide
Date of Reg.
Date of Upd.
ID2618222
Send edit request

About Model Checking

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Model checking is a verification . . .

Related Persons

Communication and Concurrency - Book by Robin Milner

Communication and Concurrency

Book by Robin Milner
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Book by R. P. Kurshan

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach

Book by R. P. Kurshan
Computer Aided Verification - Book by Orna Grumberg

Computer Aided Verification

Book by Orna Grumberg
25 Years of Model Checking: History, Achievements, Perspectives - Book by Orna Grumberg

25 Years of Model Checking: History, Achievements, Perspectives

Book by Orna Grumberg
Symbolic Model Checking - Book by Kenneth L. McMillan

Symbolic Model Checking

Book by Kenneth L. McMillan
Principles of Model Checking - Book by Christel Baier and Joost-Pieter Katoen

Principles of Model Checking

Book by Christel Baier and Joost-Pieter Katoen
Next Profile ❯