Computer Aided Verification

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

  • Gérard Berry
  • Hubert Comon
  • Alain Finkel
Conference proceedings CAV 2001

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2102)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Invited Talk

  3. Model Checking and Theorem Proving

    1. Kedar S. Namjoshi
      Pages 2-13
    2. Abhik Roychoudhury, I.V. Ramakrishnan
      Pages 25-37
  4. Automata Techniques

    1. Girish S. Bhat, Rance Cleaveland, Alex Groce
      Pages 38-52
    2. Paul Gastin, Denis Oddoux
      Pages 53-65
    3. Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi
      Pages 66-78
  5. Verification Core Technology

    1. Agostino Dovier, Carla Piazza, Alberto Policriti
      Pages 79-90
    2. A. Prasad Sistla, Patrice Godefroid
      Pages 91-103
    3. Andreas Kuehlmann, Jason Baumgartner
      Pages 104-117
  6. BDD and Decision Procedures

  7. Abstraction and Refinement

    1. Alexander Asteroth, Christel Baier, Ulrich A*Bmann
      Pages 155-168
    2. Hao Zheng, Eric Mercer, Chris Myers
      Pages 182-193
  8. Combinations

    1. Rajeev Alur, Kousha Etessami, Mihalis Yannakakis
      Pages 207-220
    2. Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Ying Xu, Lenore Zuck
      Pages 221-234

About these proceedings

Keywords

Automat automata model checking proving theorem proving verification

Editors and affiliations

  • Gérard Berry
    • 1
  • Hubert Comon
    • 2
  • Alain Finkel
    • 2
  1. 1.Esterel TechnologiesVilleneuve-LoubetFrance
  2. 2.CNRS UMR 8643, ENS de CachanLSVCachan CedexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-44585-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42345-4
  • Online ISBN 978-3-540-44585-2
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site