Computer aided verification

Más información sobre el libro

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.