Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Editors:

ISBN: 978-3-540-22342-9 (Print) 978-3-540-27813-9 (Online)

Table of contents (51 chapters)

previous Page of 3
  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-14

    Rob Tristan Gerth: 1956–2003

  3. No Access

    Book Chapter

    Pages 15-30

    Static Program Analysis via 3-Valued Logic

  4. No Access

    Book Chapter

    Pages 31-43

    Deductive Verification of Pipelined Machines Using First-Order Quantification

  5. No Access

    Book Chapter

    Pages 44-56

    A Formal Reduction for Lock-Free Parallel Algorithms

  6. No Access

    Book Chapter

    Pages 57-69

    An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking

  7. No Access

    Book Chapter

    Pages 70-82

    Termination of Linear Programs

  8. No Access

    Book Chapter

    Pages 83-95

    Symbolic Model Checking of Non-regular Properties

  9. No Access

    Book Chapter

    Pages 96-108

    Proving More Properties with Bounded Model Checking

  10. No Access

    Book Chapter

    Pages 109-121

    Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings

  11. No Access

    Book Chapter

    Pages 122-134

    Using Interface Refinement to Integrate Formal Verification into the Design Cycle

  12. No Access

    Book Chapter

    Pages 135-147

    Indexed Predicate Discovery for Unbounded System Verification

  13. No Access

    Book Chapter

    Pages 148-161

    Range Allocation for Separation Logic

  14. No Access

    Book Chapter

    Pages 162-174

    An Experimental Evaluation of Ground Decision Procedures

  15. No Access

    Book Chapter

    Pages 175-188

    DPLL(T): Fast Decision Procedures

  16. No Access

    Book Chapter

    Pages 189-201

    Verifying ω-Regular Properties of Markov Chains

  17. No Access

    Book Chapter

    Pages 202-215

    Statistical Model Checking of Black-Box Probabilistic Systems

  18. No Access

    Book Chapter

    Pages 216-228

    Compositional Specification and Model Checking in GSTE

  19. No Access

    Book Chapter

    Pages 229-241

    GSTE Is Partitioned Model Checking

  20. No Access

    Book Chapter

    Pages 242-254

    Stuck-Free Conformance

  21. No Access

    Book Chapter

    Pages 255-267

    Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors

previous Page of 3