Computer Aided Verification

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Editors:

ISBN: 978-3-540-43997-4 (Print) 978-3-540-45657-5 (Online)

Table of contents (51 chapters)

previous Page of 3
  1. Invited Talks

    1. No Access

      Book Chapter

      Pages 1-16

      Software Analysis and Model Checking

    2. No Access

      Book Chapter

      Pages 17-36

      The Quest for Efficient Boolean Satisfiability Solvers

  2. Invited Tutorials

    1. No Access

      Book Chapter

      Pages 37-56

      On Abstraction in Software Verification

    2. No Access

      Book Chapter

      Pages 57-57

      The Symbolic Approach to Hybrid Systems

    3. No Access

      Book Chapter

      Pages 58-65

      Infinite Games and Verification

  3. Symbolic Model Checking

    1. No Access

      Book Chapter

      Pages 65-77

      Symbolic Localization Reduction with Reconstruction Layering and Backtracking

    2. No Access

      Book Chapter

      Pages 78-92

      Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions

    3. No Access

      Book Chapter

      Pages 93-106

      Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking

  4. Abstraction/Refinement and Model Checking

    1. No Access

      Book Chapter

      Pages 107-122

      Liveness with (0,1, ∞)- Counter Abstraction

    2. No Access

      Book Chapter

      Pages 123-136

      Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking

    3. No Access

      Book Chapter

      Pages 137-151

      Automatic Abstraction Using Generalized Model Checking

  5. Compositional/Structural Verification

    1. No Access

      Book Chapter

      Pages 151-165

      Property Checking via Structural Analysis

    2. No Access

      Book Chapter

      Pages 166-179

      Conformance Checking for Models of Asynchronous Message Passing Software

    3. No Access

      Book Chapter

      Pages 180-194

      A Modular Checker for Multithreaded Programs

  6. Timing Analysis

    1. No Access

      Book Chapter

      Pages 195-208

      Automatic Derivation of Timing Constraints by Failure Analysis

    2. No Access

      Book Chapter

      Pages 209-222

      Deciding Separation Formulas with SAT

    3. No Access

      Book Chapter

      Pages 223-235

      Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling

  7. SAT Based Methods

    1. No Access

      Book Chapter

      Pages 236-249

      Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT

    2. No Access

      Book Chapter

      Pages 250-264

      Applying SAT Methods in Unbounded Symbolic Model Checking

    3. No Access

      Book Chapter

      Pages 265-279

      SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques

previous Page of 3