Skip to main content
SpringerLink
Log in
Book cover

Computer Aided Verification

13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Gérard Berry

    1. Esterel Technologies, Villeneuve-Loubet, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hubert Comon

    1. CNRS UMR 8643, ENS de Cachan, LSV, Cachan Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Alain Finkel

    1. CNRS UMR 8643, ENS de Cachan, LSV, Cachan Cedex, 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 2102)

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

Table of contents (48 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Invited Talk

    1. Software Documentation and the Verification Process

      • David Lorge Parnas
      Pages 1-1

  3. Model Checking and Theorem Proving

    1. Certifying Model Checkers

      • Kedar S. Namjoshi
      Pages 2-13

    2. Formalizing a JVML Verifier for Initialization in a Theorem Prover

      • Yves Bertot
      Pages 14-24

    3. Automated Inductive Verification of Parameterized Protocols?

      • Abhik Roychoudhury, I.V. Ramakrishnan
      Pages 25-37

  4. Automata Techniques

    1. Efficient Model Checking Via Büchi Tableau Automata?

      • Girish S. Bhat, Rance Cleaveland, Alex Groce
      Pages 38-52

    2. Fast LTL to Büchi Automata Translation

      • Paul Gastin, Denis Oddoux
      Pages 53-65

    3. A Practical Approach to Coverage in Model Checking

      • Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi
      Pages 66-78

  5. Verification Core Technology

    1. A Fast Bisimulation Algorithm

      • Agostino Dovier, Carla Piazza, Alberto Policriti
      Pages 79-90

    2. Symmetry and Reduced Symmetry in Model Checking?

      • A. Prasad Sistla, Patrice Godefroid
      Pages 91-103

    3. Transformation-Based Verification Using Generalized Retiming

      • Andreas Kuehlmann, Jason Baumgartner
      Pages 104-117

  7. Abstraction and Refinement

    1. Model Checking with Formula-Dependent Abstract Models

      • Alexander Asteroth, Christel Baier, Ulrich A*Bmann
      Pages 155-168

    2. Verifying Network Protocol Implementations by Symbolic Refinement Checking

      • Rajeev Alur, Bow-Yaw Wang
      Pages 169-181

    3. Automatic Abstraction for Verification of Timed Circuits and Systems?

      • Hao Zheng, Eric Mercer, Chris Myers
      Pages 182-193

  8. Combinations

    1. Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM?

      • Marta Kwiatkowska, Gethin Norman, Roberto Segala
      Pages 194-206

    2. Analysis of Recursive State Machines

      • Rajeev Alur, Kousha Etessami, Mihalis Yannakakis
      Pages 207-220

    3. Parameterized Verification with Automatically Computed Inductive Assertions?

      • Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Ying Xu, Lenore Zuck
      Pages 221-234
Back to top

Keywords

Editors and Affiliations

  • Esterel Technologies, Villeneuve-Loubet, France

    Gérard Berry

  • CNRS UMR 8643, ENS de Cachan, LSV, Cachan Cedex, France

    Hubert Comon, Alain Finkel

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation