The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.
This volume presents the proceedings of the 12th International Conference on Computer Aided Verification (CAV 2000), held in Chicago, Illinois, from July 15-19, 2000. The CAV conferences focus on advancing formal methods for hardware and software verification, encompassing both theoretical foundations and practical applications. Emphasizing verification algorithms, methods, and tools, the conference attracted contributions from researchers and practitioners in academia and industry. This year, 91 regular research papers were submitted, with 35 accepted, alongside 14 brief tool papers, of which 9 were accepted for presentation. The event featured two invited talks and a panel discussion, as well as a tutorial day with two invited tutorials. The interest from industrial companies in CAV has been significant, with many exploring the technologies presented for business applications or developing their own formal verification tools. The conference received generous support from forward-looking companies and organizations, including Cadence Design Systems, IBM Research, Intel, Lucent Technologies, Mentor Graphics, the Minerva Center for Verification of Reactive Systems, Siemens, and Synopsys. The CAV conference was founded by its Steering Committee members: Edmund Clarke, Bob Kurshan, Amir Pnueli, and Joseph Sifakis.