Computer Aided Verification

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

  • Thomas Ball
  • Robert B. Jones
Conference proceedings CAV 2006

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Session 1. Automata

    1. M. De Wulf, L. Doyen, T. A. Henzinger, J. -F. Raskin
      Pages 17-30
    2. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
      Pages 31-44
    3. Sudeep Juvekar, Nir Piterman
      Pages 45-58
  4. Session 2. Tools Papers

    1. B. Thomas Adler, Luca de Alfaro, Leandro Dias Da Silva, Marco Faella, Axel Legay, Vishwanath Raman et al.
      Pages 59-62
    2. Sébastien Bardin, Jérôme Leroux, Gérald Point
      Pages 63-66
  5. Session 3. Arithmetic

    1. Bruno Dutertre, Leonardo de Moura
      Pages 81-94
  6. Session 4. SAT and Bounded Model Checking

    1. Keijo Heljanko, Tommi Junttila, Misa Keinänen, Martin Lange, Timo Latvala
      Pages 95-108
    2. Roman Gershman, Maya Koifman, Ofer Strichman
      Pages 109-122
  7. Session 5. Abstraction/Refinement

    1. Kenneth L. McMillan
      Pages 123-136
    2. Himanshu Jain, Franjo Ivančić, Aarti Gupta, Ilya Shlyakhter, Chao Wang
      Pages 137-151
    3. Daniel Kroening, Georg Weissenbacher
      Pages 152-165
  8. Session 6. Tools Papers

    1. Nikhil Sethi, Clark Barrett
      Pages 166-169
    2. Arie Gurfinkel, Ou Wei, Marsha Chechik
      Pages 170-174
  9. Session 7. Symbolic Trajectory Evaluation

About these proceedings

Keywords

Automat automata computer logic model checking verification

Editors and affiliations

  • Thomas Ball
    • 1
  • Robert B. Jones
    • 2
  1. 1.Microsoft ResearchRedmondUSA
  2. 2.Intel CorporationHillsboroUSA

Bibliographic information

  • DOI https://doi.org/10.1007/11817963
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-37406-0
  • Online ISBN 978-3-540-37411-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book