(eBook PDF) Model Checking (Cyber Physical Systems Series) 2nd Edition

(eBook PDF) Model Checking (Cyber Physical Systems Series) 2nd Edition – Digital Ebook – Instant Delivery Download

product details:

• ISBN-10 ‏ : ‎ 0262038838
• ISBN-13 ‏ : ‎ 978-0262038836
• Author:  Edmund M. Clarke Jr. (Author), Orna Grumberg (Author), Daniel Kroening (Author), Doron Peled (Author), & 1 more

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 technology that provides an algorithmic means of determining whether an abstract model—representing, for example, a hardware or software design—satisfies a formal specification expressed as a temporal logic formula. If the specification is not satisfied, the method identifies a counterexample execution that shows the source of the problem. Today, many major hardware and software companies use model checking in practice, for verification of VLSI circuits, communication protocols, software device drivers, real-time embedded systems, and security algorithms. This book offers a comprehensive presentation of the theory and practice of model checking, covering the foundations of the key algorithms in depth.

table of contents:

1. 1. Introduction to the Second Edition
2. 2. Introduction to the First Edition
3. 3. Modeling Systems
4. 4. Temporal Logic
5. 5. CTL Model Checking
6. 6. LTL and CTL* Model Checking
7. 7. Automata on Infinite Words and LTL Model Checking
8. 8. Binary Decision Diagrams and Symbolic Model Checking
9. 9. Propositional Satisfiability
10. 10. SAT-Based Model Checking
11. 11. Equivalences and Preorders between Structures
12. 12. Partial Order Reduction
13. 13. Abstraction
14. 14. Software Model Checking
15. 15. Verification with Automata Learning
16. 16. Model Checking for the μ-Calculus
17. 17. Symmetry
18. 18. Infinite Families of Finite-State Systems
19. 19. Discrete Real-Time and Quantitative Temporal Analysis
20. 20. Continuous Real Time

people also search: