Advertisement

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

  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

  10. Session 8. Property Specification and Verification

    1. Doron Bustan, John Havlicek
      Pages 205-218
    2. Jochen Klose, Tobe Toben, Bernd Westphal, Hartmut Wittke
      Pages 219-233
  11. Session 9. Time

  12. Session 10. Tools Papers

    1. Jiří Barnat, Luboš Brim, Ivana Černá, Pavel Moravec, Petr Ročkai, Pavel Šimeček
      Pages 278-281
  13. Session 11. Concurrency

    1. Koushik Sen, Mahesh Viswanathan
      Pages 300-314
    2. Azadeh Farzan, P. Madhusudan
      Pages 315-328
  14. Session 12. Trees, Pushdown Systems and Boolean Programs

    1. Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
      Pages 329-342
    2. Akash Lal, Thomas Reps
      Pages 343-357
    3. Andreas Griesmayer, Roderick Bloem, Byron Cook
      Pages 358-371
  15. Session 13. Termination

    1. Mark Braverman
      Pages 372-385
    2. Josh Berdine, Byron Cook, Dino Distefano, Peter W. O’Hearn
      Pages 386-400
    3. Panagiotis Manolios, Daron Vroon
      Pages 401-414
  16. Session 14. Tools Papers

    1. Byron Cook, Andreas Podelski, Andrey Rybalchenko
      Pages 415-418
  17. Session 15. Abstract Interpretation

    1. Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oliveras
      Pages 424-437
    2. Bernard Boigelot, Frédéric Herbreteau
      Pages 438-451
    3. Denis Gopan, Thomas Reps
      Pages 452-466
  18. Session 16. Tools Papers

  19. Session 17. Memory Consistency

    1. Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir
      Pages 475-488
    2. Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
      Pages 489-502
    3. Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang
      Pages 503-516
  20. Session 18. Shape Analysis

    1. Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomáš Vojnar
      Pages 517-531
    2. Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz
      Pages 532-546
    3. Tal Lev-Ami, Neil Immerman, Mooly Sagiv
      Pages 547-561

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
  • Buy this book on publisher's site