Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

This volume contains the proceedings of the 20th International Conference on Computer Aided Veri?cation (CAV) held in Princeton, New Jersey, USA, d- ing July 7–14, 2008. CAV is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. Its scope ranges from theoretical results to concrete applications, with an emphasis on practical veri?cation tools and the underlying algorithms and techniques. Overall, 2008 has been a historical year for CAV. – It marks the 20th anniversaryof CAV, which has servedas a forum for ideas whose impact is now clearly felt in research and practice. – It celebrates the recognitionreceived by Edmund M. Clarke, E. Allen Em- son and Joseph Sifakis as winners of the 2007 ACM Turing Award for their researchin model checking.CAV is proudto have been the intellectual home for model checking over these 20 years. – Inrecognitionofthelargebodyofcontributionsmadetothe?eldofcomput- aidedveri?cation,theCAVAwardwasinstitutedthisyearwiththe?rstw- ner announcedatthe conference,andacitationto appear inthe proceedings of the 21st CAV. There were 131 paper submissions, divided into 104 regular and 27 tool - pers. These went through an active review process, with each submission - viewed by at least 3, and on average4, members of the ProgramCommittee. We also sought external reviews from experts in certain areas. Authors had the - portunity to respond to the initial reviews during an author response period. All these inputs were used by the Program Committee in selecting a ?nal program with 33 regular papers and 14 tool papers.