Advertisement

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

  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
  9. Tool Presentations: Rewriting and Theorem-Proving Techniques

    1. Jean-Christophe Filliâtre, Sam Owre, Harald Rue*B, Natarajan Shankar
      Pages 246-249
    2. Stefan Blom, Wan Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol
      Pages 250-254
    3. Thomas Ball, Sriram K. Rajamani
      Pages 260-264
  10. Invited Talk

  11. Infinite State Systems

    1. Dennis Dams, Yassine Lakhnech, Martin Steffen
      Pages 286-297
    2. Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin
      Pages 298-310
    3. Javier Esparza, Stefan Schwoon
      Pages 324-336
  12. Temporal Logics and Verification

    1. Luca de Alfaro
      Pages 337-349
    2. Orna Grumberg, Tamir Heyman, Assaf Schuster
      Pages 350-362
  13. Tool Presentations: Model-Checking and Automata Techniques

    1. Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh
      Pages 363-367
    2. Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu
      Pages 368-372
    3. Vladimir Levin, Hüsnü Yenigün
      Pages 378-381
    4. Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen
      Pages 382-386
    5. Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar Namjoshi
      Pages 387-390
    6. Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venter, Daniel Weil et al.
      Pages 391-395
  14. Microprocessor Verification, Cache Coherence

  15. SAT, BDDs, and Applications

    1. Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella et al.
      Pages 436-453
    2. Per Bjesse, Tim Leonard, Abdel Mokkedem
      Pages 454-464
    3. Sumio Morioka, Yasunao Katayama, Toshiyuki Yamane
      Pages 465-477
  16. Timed Automata

    1. Yasmina Abdeddaïm, Oded Maler
      Pages 478-492
    2. Kim Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson et al.
      Pages 493-505
  17. Back Matter
    Pages 519-520

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