Computer Aided Verification

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Software Analysis and Model Checking
3. Altmetric Badge
   Chapter 2 The Quest for Efficient Boolean Satisfiability Solvers
4. Altmetric Badge
   Chapter 3 On Abstraction in Software Verification
5. Altmetric Badge
   Chapter 4 The Symbolic Approach to Hybrid Systems
6. Altmetric Badge
   Chapter 5 Infinite Games and Verification
7. Altmetric Badge
   Chapter 6 Symbolic Localization Reduction with Reconstruction Layering and Backtracking
8. Altmetric Badge
   Chapter 7 Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions
9. Altmetric Badge
   Chapter 8 Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
10. Altmetric Badge
    Chapter 9 Liveness with (0,1, ∞)- Counter Abstraction
11. Altmetric Badge
    Chapter 10 Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking
12. Altmetric Badge
    Chapter 11 Automatic Abstraction Using Generalized Model Checking
13. Altmetric Badge
    Chapter 12 Property Checking via Structural Analysis
14. Altmetric Badge
    Chapter 13 Conformance Checking for Models of Asynchronous Message Passing Software
15. Altmetric Badge
    Chapter 14 A Modular Checker for Multithreaded Programs
16. Altmetric Badge
    Chapter 15 Automatic Derivation of Timing Constraints by Failure Analysis
17. Altmetric Badge
    Chapter 16 Deciding Separation Formulas with SAT
18. Altmetric Badge
    Chapter 17 Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling
19. Altmetric Badge
    Chapter 18 Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT
20. Altmetric Badge
    Chapter 19 Applying SAT Methods in Unbounded Symbolic Model Checking
21. Altmetric Badge
    Chapter 20 SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques
22. Altmetric Badge
    Chapter 21 Semi-formal Bounded Model Checking
23. Altmetric Badge
    Chapter 22 Algorithmic Verification of Invalidation-Based Protocols
24. Altmetric Badge
    Chapter 23 Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving
25. Altmetric Badge
    Chapter 24 Automated Unbounded Verification of Security Protocols
26. Altmetric Badge
    Chapter 25 Exploiting Behavioral Hierarchy for Efficient Model Checking
27. Altmetric Badge
    Chapter 26 IF-2.0: A Validation Environment for Component-Based Real-Time Systems
28. Altmetric Badge
    Chapter 27 The AVISS Security Protocol Analysis Tool
29. Altmetric Badge
    Chapter 28 SPeeDI — A Verification Tool for Polygonal Hybrid Systems
30. Altmetric Badge
    Chapter 29 NuSMV 2: An OpenSource Tool for Symbolic Model Checking
31. Altmetric Badge
    Chapter 30 The d/dt Tool for Verification of Hybrid Systems
32. Altmetric Badge
    Chapter 31 Model Checking Linear Properties of Prefix-Recognizable Systems
33. Altmetric Badge
    Chapter 32 Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking
34. Altmetric Badge
    Chapter 33 On Discrete Modeling and Model Checking for Nonlinear Analog Systems
35. Altmetric Badge
    Chapter 34 Synchronous and Bidirectional Component Interfaces
36. Altmetric Badge
    Chapter 35 Interface Compatibility Checking for Software Modules
37. Altmetric Badge
    Chapter 36 Practical Methods for Proving Program Termination
38. Altmetric Badge
    Chapter 37 Evidence-Based Model Checking
39. Altmetric Badge
    Chapter 38 Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification
40. Altmetric Badge
    Chapter 39 Vacuum Cleaning CTL Formulae
41. Altmetric Badge
    Chapter 40 CVC: A Cooperating Validity Checker
42. Altmetric Badge
    Chapter 41 ΧChek: A Multi-valued Model-Checker
43. Altmetric Badge
    Chapter 42 PathFinder: A Tool for Design Exploration
44. Altmetric Badge
    Chapter 43 Abstracting C with abC
45. Altmetric Badge
    Chapter 44 AMC: An Adaptive Model Checker
46. Altmetric Badge
    Chapter 45 Temporal-Safety Proofs for Systems Code
47. Altmetric Badge
    Chapter 46 Extrapolating Tree Transformations
48. Altmetric Badge
    Chapter 47 Regular Tree Model Checking
49. Altmetric Badge
    Chapter 48 Compressing Transitions for Model Checking
50. Altmetric Badge
    Chapter 49 Canonical Prefixes of Petri Net Unfoldings
51. Altmetric Badge
    Chapter 50 State Space Reduction by Proving Confluence
52. Altmetric Badge
    Chapter 51 Fair Simulation Minimization