By Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.)
This quantity comprises the complaints of the twelfth overseas convention on laptop Aided Veri?cation (CAV 2000) held in Chicago, Illinois, united states in the course of 15-19 July 2000. The CAV meetings are dedicated to the development of the idea and perform of formal tools for and software program veri?cation. The con- rence covers the spectrum from theoretical foundations to concrete functions, with an emphasis on veri?cation algorithms, equipment, and instruments including ideas for his or her implementation. The convention has typically drawn contributions from either researchers and practitioners in academia and undefined. This 12 months ninety one average examine papers have been submitted out of which 35 have been - cepted, whereas 14 short software papers have been submitted, out of which nine have been authorized for presentation. CAV integrated invited talks and a panel dialogue. CAV additionally incorporated an academic day with invited tutorials. Many business businesses have proven a significant curiosity in CAV, starting from utilizing the provided applied sciences of their enterprise to constructing and m- keting their very own formal veri?cation instruments. we're very happy with the help we obtain from undefined. CAV 2000 used to be subsidized via a couple of beneficiant andforward-lookingcompaniesandorganizationsincluding:CadenceDesign- stems, IBM study, Intel, Lucent applied sciences, Mentor photos, the Minerva heart for Veri?cation of Reactive platforms, Siemens, and Synopsys. TheCAVconferencewasfoundedbyitsSteeringCommittee:EdmundClarke (CMU), Bob Kurshan (Bell Labs), Amir Pnueli (Weizmann), and Joseph Sifakis (Verimag).