Skip to main content
SpringerLink
Log in

Computer Aided Verification

21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Ahmed Bouajjani

    1. LIAFA, University Paris Diderot (Paris 7), Case 7014, Paris Cedex 13, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Oded Maler

    1. Verimag, Centre Equation, Gières, France

    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 5643)

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

Included in the following conference series:

Conference proceedings info: CAV 2009.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

About this book

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.

Similar content being viewed by others

Keywords

Table of contents (60 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Tutorials

    1. Transactional Memory: Glimmer of a Theory

      • Rachid Guerraoui, Michał Kapałka
      Pages 1-15

    2. Mixed-Signal System Verification: A High-Speed Link Example

      • Jaeha Kim
      Pages 16-16

    3. Modelling Epigenetic Information Maintenance: A Kappa Tutorial

      • Jean Krivine, Vincent Danos, Arndt Benecke
      Pages 17-32

    4. Component-Based Construction of Real-Time Systems in BIP

      • Joseph Sifakis
      Pages 33-34

  4. Regular Papers

    1. Symbolic Counter Abstraction for Concurrent Software

      • Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening
      Pages 64-78

    2. Priority Scheduling of Distributed Systems Based on Model Checking

      • Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis
      Pages 79-93

    3. Explaining Counterexamples Using Causality

      • Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard Trefler
      Pages 94-108

    4. Size-Change Termination, Monotonicity Constraints and Ranking Functions

      • Amir M. Ben-Amram
      Pages 109-123

    5. Linear Functional Fixed-points

      • Nikolaj Bjørner, Joe Hendrix
      Pages 124-139

    6. Better Quality in Synthesis through Quantitative Objectives

      • Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
      Pages 140-156

    7. Automatic Verification of Integer Array Programs

      • Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konečný, Tomáš Vojnar
      Pages 157-172

    8. Automated Analysis of Java Methods for Confidentiality

      • Pavol Černý, Rajeev Alur
      Pages 173-187

    9. Requirements Validation for Hybrid Systems

      • Alessandro Cimatti, Marco Roveri, Stefano Tonetta
      Pages 188-203

    10. Towards Performance Prediction of Compositional Models in Industrial GALS Designs

      • Nicolas Coste, Holger Hermanns, Etienne Lantreibecq, Wendelin Serwe
      Pages 204-218

    11. Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion

      • Thao Dang, David Salinas
      Pages 219-232
Back to top

Other volumes

  1. Computer Aided Verification

Editors and Affiliations

  • LIAFA, University Paris Diderot (Paris 7), Case 7014, Paris Cedex 13, France

    Ahmed Bouajjani

  • Verimag, Centre Equation, Gières, France

    Oded Maler

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation