Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1855)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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 usingthe 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).
Similar content being viewed by others
Keywords
Table of contents (48 papers)
-
Front Matter
-
Invited Talks and Tutorials
-
Regular Papers
Editors and Affiliations
Bibliographic Information
Book Title: Computer Aided Verification
Book Subtitle: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings
Editors: E. Allen Emerson, Aravinda Prasad Sistla
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/10722167
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2000
Softcover ISBN: 978-3-540-67770-3Published: 28 June 2000
eBook ISBN: 978-3-540-45047-4Published: 30 December 2006
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 590
Topics: Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Software Engineering, Mathematical Logic and Formal Languages, Special Purpose and Application-Based Systems, Artificial Intelligence