Skip to main content
SpringerLink
Log in
Book cover

Computer Aided Verification

20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Aarti Gupta
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sharad Malik
    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 5123)

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

Included in the following conference series:

Conference proceedings info: CAV 2008.

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 109.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 139.00
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 (53 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Singularity: Designing Better Software (Invited Talk)

      • James R. Larus
      Pages 1-2

    2. Coping with Outside-the-Box Attacks

      • Edward W. Felten
      Pages 3-4

  4. Session 1: Concurrency

    1. Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis

      • Akash Lal, Thomas Reps
      Pages 37-51

    2. Monitoring Atomicity in Concurrent Programs

      • Azadeh Farzan, P. Madhusudan
      Pages 52-65

    3. Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings

      • Sarvani Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby
      Pages 66-79

    4. A Hybrid Type System for Lock-Freedom of Mobile Processes

      • Naoki Kobayashi, Davide Sangiorgi
      Pages 80-93

  5. Session 2: Memory Consistency

    1. Implied Set Closure and Its Application to Memory Consistency Verification

      • Surender Baswana, Shashank K. Mehta, Vishal Powar
      Pages 94-106

    2. Effective Program Verification for Relaxed Memory Models

      • Sebastian Burckhardt, Madanlal Musuvathi
      Pages 107-120

    3. Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses

      • Ariel Cohen, Amir Pnueli, Lenore D. Zuck
      Pages 121-134

  6. Session 3: Abstraction/Refinement

    1. Automated Assume-Guarantee Reasoning by Abstraction Refinement

      • Mihaela Gheorghiu Bobaru, Corina S. Păsăreanu, Dimitra Giannakopoulou
      Pages 135-148

    2. Local Proofs for Linear-Time Properties of Concurrent Programs

      • Ariel Cohen, Kedar S. Namjoshi
      Pages 149-161

    3. Probabilistic CEGAR

      • Holger Hermanns, Björn Wachter, Lijun Zhang
      Pages 162-175

  7. Session 4: Hybrid Systems

    1. Computing Differential Invariants of Hybrid Systems as Fixedpoints

      • André Platzer, Edmund M. Clarke
      Pages 176-189

    2. Constraint-Based Approach for Analysis of Hybrid Systems

      • Sumit Gulwani, Ashish Tiwari
      Pages 190-203

  8. Session 5: Tools – Dynamic Verification

    1. AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems

      • Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar
      Pages 204-208
Back to top

Other volumes

  1. Computer Aided Verification

Keywords

About this book

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. The 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials were carefully reviewed and selected from 104 regular paper and 27 tool paper submissions. The papers are organized in topical sections on concurrency, memory consistency, abstraction/refinement, hybrid systems, dynamic verification, modeling and specification formalisms, decision procedures, program verification, program and shape analysis, security and program analysis, hardware verification, model checking, space efficient algorithms, and model checking.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation