Skip to main content
  • Conference proceedings
  • © 2008

Computer Aided Verification

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

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)

Conference series link(s): CAV: International Conference on Computer Aided Verification

Conference proceedings info: CAV 2008.

Buying options

eBook USD 109.00
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 139.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (53 papers)

  1. Front Matter

  2. Invited Talks

    1. Coping with Outside-the-Box Attacks

      • Edward W. Felten
      Pages 3-4
  3. Session 1: Concurrency

    1. Monitoring Atomicity in Concurrent Programs

      • Azadeh Farzan, P. Madhusudan
      Pages 52-65
    2. 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
    3. A Hybrid Type System for Lock-Freedom of Mobile Processes

      • Naoki Kobayashi, Davide Sangiorgi
      Pages 80-93
  4. 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
  5. 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
  6. 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
  7. 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

Other Volumes

  1. Computer Aided Verification

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.

Keywords

  • Action
  • algorithms
  • assertion
  • automated deduction
  • computer
  • computer aided verification
  • debugging
  • formal methods
  • formal verification
  • hybrid systems
  • modeling
  • probabilistic automata
  • program ana
  • structured analysis
  • verification

Bibliographic Information

Buying options

eBook USD 109.00
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 139.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions