Skip to main content
Springer Nature Link
Log in

Computer Aided Verification

19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Werner Damm
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Holger Hermanns
    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 4590)

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

Included in the following conference series:

Conference proceedings info: CAV 2007.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.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

About this book

This volume contains the proceedings of the International Conference on C- puter Aided Veri?cation (CAV), held in Berlin, Germany, July 3–7, 2007. CAV 2007 was the 19th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri?cation tools and the algorithms and techniques that are needed for their implementation. We received 134 regular paper submissions and 39 tool paper submissions. Of these, the ProgramCommittee selected 33 regularpapersand 14 toolpapers. Each submission was reviewed by at least three members of the Program C- mittee. The reviewing process included a PC review meeting, and – for the ?rst time in the history of CAV – an author feedback period. About 50 additional reviews were provided by experts external to the Program Committee to assure a high quality selection. The CAV 2007 program included three invited talks from industry: – Byron Cook (Microsoft Research) on Automatically Proving Program T- mination, – David Russino? (AMD) on A Mathematical Approach to RTL Veri?cation, and – Thomas Kropf (Bosch) on Software Bugs Seen from an Industrial Persp- tive.

Similar content being viewed by others

Keywords

Table of contents (54 papers)

  1. Front Matter

    Download chapter PDF

  3. Invited Tutorials

    1. Algorithms for Interface Synthesis

      • Dirk Beyer, Thomas A. Henzinger, Vasu Singh
      Pages 4-19

    2. A Tutorial on Satisfiability Modulo Theories

      • Leonardo de Moura, Bruno Dutertre, Natarajan Shankar
      Pages 20-36

    3. A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

      • Gary T. Leavens, Joseph R. Kiniry, Erik Poll
      Pages 37-37

    4. Verification of Hybrid Systems

      • Martin Fränzle
      Pages 38-38

  4. Session I: Compositionality

    1. SAT-Based Compositional Verification Using Lazy Learning

      • Nishant Sinha, Edmund Clarke
      Pages 39-54

    2. Local Proofs for Global Safety Properties

      • Ariel Cohen, Kedar S. Namjoshi
      Pages 55-67

  5. Session II: Verification Process

    1. Low-Level Library Analysis and Summarization

      • Denis Gopan, Thomas Reps
      Pages 68-81

    2. Verification Across Intellectual Property Boundaries

      • Sagar Chaki, Christian Schallhart, Helmut Veith
      Pages 82-94

  6. Session III: Timed Synthesis and Games

    1. On Synthesizing Controllers from Bounded-Response Properties

      • Oded Maler, Dejan Nickovic, Amir Pnueli
      Pages 95-107

    2. An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games

      • Luca de Alfaro, Marco Faella
      Pages 108-120

    3. UPPAAL-Tiga: Time for Playing Games!

      • Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim G. Larsen, Didier Lime
      Pages 121-125

    4. The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems

      • Martin Ouimet, Kristina Lundqvist
      Pages 126-130

  7. Session IV: Infinitive State Verification

    1. Systematic Acceleration in Regular Model Checking

      • Bengt Jonsson, Mayank Saksena
      Pages 131-144

    2. Parameterized Verification of Infinite-State Processes with Global Conditions

      • Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
      Pages 145-157

  8. Session V: Tool Environment

    1. CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes

      • Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe
      Pages 158-163

    2. jMoped: A Test Environment for Java Programs

      • Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza
      Pages 164-167
Back to top

Other volumes

  1. Computer Aided Verification

Bibliographic Information

Publish with us

Policies and ethics

Back to top