© 2002

Computer Aided Verification

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

  • Ed Brinksma
  • Kim Guldstrand Larsen
Conference proceedings CAV 2002

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

Table of contents

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

    1. Gerard_J. Holzmann
      Pages 1-16
    2. Lintao Zhang, Sharad Malik
      Pages 17-36
  3. Invited Tutorials

    1. Patrick Cousot, Radhia Cousot
      Pages 37-56
    2. Thomas A. Henzinger
      Pages 57-57
    3. Wolfgang Thomas
      Pages 58-65
  4. Symbolic Model Checking

  5. Abstraction/Refinement and Model Checking

    1. Amir Pnueli, Jessie Xu, Lenore Zuck
      Pages 107-122
    2. Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan
      Pages 123-136
    3. Patrice Godefroid, Radha Jagadeesan
      Pages 137-151
  6. Compositional/Structural Verification

    1. Jason Baumgartner, Andreas Kuehlmann, Jacob Abraham
      Pages 151-165
    2. Sriram K. Rajamani, Jakob Rehof
      Pages 166-179
    3. Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia
      Pages 180-194
  7. Timing Analysis

    1. Tomohiro Yoneda, Tomoya Kitai, Chris Myers
      Pages 195-208
    2. Ofer Strichman, Sanjit A. Seshia, Randal E. Bryant
      Pages 209-222
    3. Håkan L. S. Younes, Reid G. Simmons
      Pages 223-235
  8. SAT Based Methods

    1. Clark W. Barrett, David L. Dill, Aaron Stump
      Pages 236-249
    2. Edmund Clarke, Anubhav Gupta, James Kukula, Ofer Strichman
      Pages 265-279
    3. Jesse D. Bingham, Alan J. Hu
      Pages 280-294
  9. Symbolic Model Checking

  10. Tool Presentations

    1. Rajeev Alur, Michael McDougall, Zijiang Yang
      Pages 338-342
    2. Marius Bozga, Susanne Graf, Laurent Mounier
      Pages 343-348
    3. Alessandro Armando, David Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim et al.
      Pages 349-354
    4. Eugene Asarin, Gordon Pace, Gerardo Schneider, Sergio Yovine
      Pages 354-359
    5. Alessandro Cimatti, Edmund Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri et al.
      Pages 359-364
    6. Eugene Asarin, Thao Dang, Oded Maler
      Pages 365-370
  11. Infinite Model Checking

    1. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
      Pages 371-385
    2. Walter Hartong, Lars Hedrich, Erich Barke
      Pages 401-414
  12. Compositional/Structural Verification

    1. Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
      Pages 414-427
    2. Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdziński, Freddy Y. C. Mang
      Pages 428-441
    3. Michael A. Colón, Henny B. Sipma
      Pages 442-454
  13. Extended Model Checking

    1. Li Tan, Rance Cleaveland
      Pages 455-470
    2. Gianpiero Cabodi, Sergio Nocco, Stefano Quer
      Pages 471-484
    3. Mitra Purandare, Fabio Somenzi
      Pages 485-499
  14. Tool Presentations

    1. Aaron Stump, Clark W. Barrett, David L. Dill
      Pages 500-504
    2. Marsha Chechik, Arie Gurfinkel, Benet Devereux
      Pages 505-509
    3. Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
      Pages 510-514
    4. Dennis Dams, William Hesse, Gerard Holzmann
      Pages 515-520
    5. Alex Groce, Doron Peled, Mihalis Yannakakis
      Pages 521-525
  15. Code Verification

    1. Thomas A. Henzinger, George C. Necula, Ranjit Jhala, Grégoire Sutre, Rupak Majumdar, Westley Weimer
      Pages 526-538
  16. Regular Model Checking and Acceleration

    1. Ahmed Bouajjani, Tayssir Touili
      Pages 539-554
    2. Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, Julien d’Orso
      Pages 555-568
    3. Robrt Kurshan, Vladimir Levin, Hüsnü Yenigün
      Pages 569-582
  17. Model Reduction

    1. Victor Khomenko, Maciej Koutny, Walter Vogler
      Pages 582-595

About these proceedings


This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th 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, including algorithms and techniques needed for their implementation. The c- ference has traditionally drawn contributions from researchers as well as prac- tioners in both academia and industry. This year we received 94 regular paper submissions out of which 35 were selected. Each submission received an average of 4 referee reviews. In addition, the CAV program contained 11 tool presentations selected from 16 submissions. For each tool presentation, a demo was given at the conference. The large number of tool submissions and presentations testi?es to the liveliness of the ?eld and its applied ?avor.


Erfüllbarkeitsproblem der Aussagenlogik Formal methods automated deduction computational logic formal verification hardware verification learning machine learning model checking modeling petri net proving systems analysis theorem proving verification tools

Editors and affiliations

  • Ed Brinksma
    • 1
  • Kim Guldstrand Larsen
    • 2
  1. 1.Department of Computer ScienceUniversity of TwenteEnschedeThe Netherlands
  2. 2.Department of Computer ScienceAalborg UniversityAalborg ØDenmark

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking