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

Keywords

Table of contents (49 papers)

  1. Session 15. Abstract Interpretation

    1. The Power of Hybrid Acceleration

      • Bernard Boigelot, Frédéric Herbreteau
      Pages 438-451

    2. Lookahead Widening

      • Denis Gopan, Thomas Reps
      Pages 452-466

  2. Session 16. Tools Papers

    1. The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover

      • Kenneth Roe
      Pages 467-470

    2. LEVER: A Tool for Learning Based Verification

      • Abhay Vardhan, Mahesh Viswanathan
      Pages 471-474

  3. Session 17. Memory Consistency

    1. Formal Verification of a Lazy Concurrent List-Based Set Algorithm

      • Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir
      Pages 475-488

    2. Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study

      • Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
      Pages 489-502

    3. Fast and Generalized Polynomial Time Memory Consistency Verification

      • Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang
      Pages 503-516

  4. Session 18. Shape Analysis

    1. Programs with Lists Are Counter Automata

      • Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomáš Vojnar
      Pages 517-531

    2. Lazy Shape Analysis

      • Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz
      Pages 532-546

    3. Abstraction for Shape Analysis with Fast and Precise Transformers

      • Tal Lev-Ami, Neil Immerman, Mooly Sagiv
      Pages 547-561

  5. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Computer Aided Verification

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