Skip to main content
SpringerLink
Log in

Computer Aided Verification

18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Thomas Ball

    1. Microsoft Research, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Robert B. Jones

    1. Intel Corporation, Hillsboro, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4144)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CAV 2006.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (49 papers)

  1. Front Matter

    Download chapter PDF

  3. Session 1. Automata

    1. Antichains: A New Algorithm for Checking Universality of Finite Automata

      • M. De Wulf, L. Doyen, T. A. Henzinger, J. -F. Raskin
      Pages 17-30

    2. Safraless Compositional Synthesis

      • Orna Kupferman, Nir Piterman, Moshe Y. Vardi
      Pages 31-44

    3. Minimizing Generalized Büchi Automata

      • Sudeep Juvekar, Nir Piterman
      Pages 45-58

  4. Session 2. Tools Papers

    1. Ticc: A Tool for Interface Compatibility and Composition

      • B. Thomas Adler, Luca de Alfaro, Leandro Dias Da Silva, Marco Faella, Axel Legay, Vishwanath Raman et al.
      Pages 59-62

    2. FAST Extended Release

      • Sébastien Bardin, Jérôme Leroux, Gérald Point
      Pages 63-66

  5. Session 3. Arithmetic

    1. Don’t Care Words with an Application to the Automata-Based Approach for Real Addition

      • Jochen Eisinger, Felix Klaedtke
      Pages 67-80

    2. A Fast Linear-Arithmetic Solver for DPLL(T)

      • Bruno Dutertre, Leonardo de Moura
      Pages 81-94

  6. Session 4. SAT and Bounded Model Checking

    1. Bounded Model Checking for Weak Alternating Büchi Automata

      • Keijo Heljanko, Tommi Junttila, Misa Keinänen, Martin Lange, Timo Latvala
      Pages 95-108

    2. Deriving Small Unsatisfiable Cores with Dominators

      • Roman Gershman, Maya Koifman, Ofer Strichman
      Pages 109-122

  7. Session 5. Abstraction/Refinement

    1. Lazy Abstraction with Interpolants

      • Kenneth L. McMillan
      Pages 123-136

    2. Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop

      • Himanshu Jain, Franjo Ivančić, Aarti Gupta, Ilya Shlyakhter, Chao Wang
      Pages 137-151

    3. Counterexamples with Loops for Predicate Abstraction

      • Daniel Kroening, Georg Weissenbacher
      Pages 152-165

  8. Session 6. Tools Papers

    1. cascade: C Assertion Checker and Deductive Engine

      • Nikhil Sethi, Clark Barrett
      Pages 166-169

    2. Yasm: A Software Model-Checker for Verification and Refutation

      • Arie Gurfinkel, Ou Wei, Marsha Chechik
      Pages 170-174

  9. Session 7. Symbolic Trajectory Evaluation

    1. SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation

      • Jan-Willem Roorda, Koen Claessen
      Pages 175-189
Back to top

Other volumes

  1. Computer Aided Verification

Keywords

Editors and Affiliations

  • Microsoft Research, Redmond, USA

    Thomas Ball

  • Intel Corporation, Hillsboro, USA

    Robert B. Jones

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation