Computer Aided Verification

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

  • E. Allen Emerson
  • Aravinda Prasad Sistla

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

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
  • About this book