Computer Aided Verification

12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

  • E. Allen Emerson
  • Aravinda Prasad Sistla
Conference proceedings CAV 2000

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

Table of contents

  1. Front Matter
  2. Invited Talks and Tutorials

  3. Regular Papers

    1. Jason Baumgartner, Anson Tripp, Adnan Aziz, Vigyan Singhal, Flemming Andersen
      Pages 5-19
    2. Tamir Heyman, Danny Geist, Orna Grumberg, Assaf Schuster
      Pages 20-35
    3. Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su
      Pages 69-84
    4. Randal E. Bryant, Miroslav N. Velev
      Pages 85-98
    5. Abdelwaheb Ayari, David Basin
      Pages 99-112
    6. James H. Kukula, Thomas R. Shiple
      Pages 113-123
    7. Poul F. Williams, Armin Biere, Edmund M. Clarke, Anubhav Gupta
      Pages 124-138
    8. Kedar S. Namjoshi, Richard J. Trefler
      Pages 139-153
    9. Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
      Pages 154-169
    10. Abdelwaheb Ayari, David Basin, Felix Klaedtke
      Pages 170-185
    11. Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
      Pages 186-201
    12. Jens Vöge, Marcin Jurdziński
      Pages 202-215
    13. Gerd Behrmann, Thomas Hune, Frits Vaandrager
      Pages 216-231
    14. Javier Esparza, David Hansel, Peter Rossmanith, Stefan Schwoon
      Pages 232-247
    15. Fabio Somenzi, Roderick Bloem
      Pages 248-263
    16. Scott D. Stoller, Leena Unnikrishnan, Yanhong A. Liu
      Pages 264-279
    17. R. Alur, R. Grosu, M. McDougall
      Pages 280-295
    18. Kenneth L. McMillan, Shaz Qadeer, James B. Saxe
      Pages 312-327
    19. Amir Pnueli, Elad Shahar
      Pages 328-343
    20. Michaël Rusinowitch, Sorin Stratulat, Francis Klay
      Pages 344-357
    21. Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen
      Pages 358-372
    22. Franck Cassez, François Laroussinie
      Pages 373-388
    23. Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix
      Pages 389-402
    24. Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili
      Pages 403-418
    25. Aurore Annichini, Eugene Asarin, Ahmed Bouajjani
      Pages 419-434
    26. Kedar S. Namjoshi, Robert P. Kurshan
      Pages 435-449
    27. William Chan
      Pages 450-463
    28. Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit
      Pages 464-479
    29. Ofer Shtrichman
      Pages 480-494
    30. Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén
      Pages 495-507
    31. Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam Srivas
      Pages 521-537
  4. Tool Papers

    1. Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal
      Pages 538-542
    2. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
      Pages 543-547
    3. Sam Owre, Harald Rueß
      Pages 548-551
    4. Elsa Gunter, Robert Kurshan, Doron Peled
      Pages 552-556
    5. Christopher Colby, Peter Lee, George C. Necula
      Pages 557-560
    6. Tom Bienmüller, Werner Damm, Hartmut Wittke
      Pages 561-567
    7. C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury et al.
      Pages 576-580
  5. Back Matter

About these proceedings


This volume contains the proceedings of the 12th International Conference on Computer Aided Veri?cation (CAV 2000) held in Chicago, Illinois, USA during 15-19 July 2000. The CAV conferences are devoted to the advancement of the theory and practice of formal methods for hardware and software veri?cation. The con- rence covers the spectrum from theoretical foundations to concrete applications, with an emphasis on veri?cation algorithms, methods, and tools together with techniques for their implementation. The conference has traditionally drawn contributions from both researchers and practitioners in academia and industry. This year 91 regular research papers were submitted out of which 35 were - cepted, while 14 brief tool papers were submitted, out of which 9 were accepted for presentation. CAV included two invited talks and a panel discussion. CAV also included a tutorial day with two invited tutorials. Many industrial companies have shown a serious interest in CAV, ranging from using the presented technologies in their business to developing and m- keting their own formal veri?cation tools. We are very proud of the support we receive from industry. CAV 2000 was sponsored by a number of generous andforward-lookingcompaniesandorganizationsincluding:CadenceDesign- stems, IBM Research, Intel, Lucent Technologies, Mentor Graphics, the Minerva Center for Veri?cation of Reactive Systems, Siemens, and Synopsys. TheCAVconferencewasfoundedbyitsSteeringCommittee:EdmundClarke (CMU), Bob Kurshan (Bell Labs), Amir Pnueli (Weizmann), and Joseph Sifakis (Verimag).


Automated Deduction Formal Methods Hardware Verification Java Model Checking Program Verification Systems Analysis Systems Verification algorithm algorithms automata design formal verification programming verification

Editors and affiliations

  • E. Allen Emerson
    • 1
  • Aravinda Prasad Sistla
    • 2
  1. 1.Aiken Computation LaboratoryHarvard UniversityCambridgeUSA
  2. 2.  

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67770-3
  • Online ISBN 978-3-540-45047-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment