Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.
By: Clarke, E. M.
Contributor(s): Grumberg, Orna [(j.a.)] | Peled, Doron [(j.a.)].
Publisher: Cambridge, Mass. : MIT Press, c1999Description: xiv, 314 p. ; 24 cm.ISBN: 0262032708.Subject(s): Computer systems -- VerificationDDC classification: 004.21Item type | Current location | Call number | Copy number | Status | Notes | Date due | Barcode | Remark |
---|---|---|---|---|---|---|---|---|
Main Collection | TU External Storage-LCS | 004.21 CLA (Browse shelf) | 1 | Available | SOCIT, SOCIT, 560657 | 1000104417 | Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 |
Foreword by Amir Pnueli. - Preface. - 1. Introduction. - 2. Modeling Systems. - 3. Temporal Logics. - 4. Model Checking. - 5. Binary Decision Diagram. - 6. Symbolic Model Checking. - 7. Model Checking for the [mu]-Calculus. - 8. Model Checking in Practice. - 9. Model Checking and Automata Theory. - 10. Partial Order Reduction. - 11. Equivalences and Preorders between Structures. - 12. Compositional Reasoning. - 13. Abstraction. - 14. Symmetry. - 15. Infinite Families of Finite-State Systems. - 16. Discrete Real-Time and Quantitative Temporal Analysis. - 17. Continuous Real Time. - 18. Conclusion. - References. - Index.
"This book is the first comprehensive presentation of the theory and practice of model checking. The book, which includes basic as well as state-of-the-art techniques, algorithms, and tools, can be used both as an intoduction to the subject and as a reference for reserachers." - Front cover