Verification, Model Checking, and Abstract Interpretation
This volume contains the papers accepted for presentation at the 7th Inter- tional Conferenceon Veri?cation, Model Checking,and Abstract Interpretation, held January 8-10, 2006, at Charleston, South Carolina, USA. VMCAI provides a forum for researchers from the communities of veri?- tion, model checking, and abstract interpretation, facilitating interaction, cro- fertilization, and advancement of hybrid methods. The program was selected from 58 submitted papers. In addition, the p- gramincludedinvitedtalksbyEdmundM.Clarke(CarnegieMellonUniversity), James R. Larus (Microsoft Research),and Greg Morrisett (Harvard University), and invited tutorials by Nicolas Halbwachs (VERIMAG) and David Schmidt (Kansas State University). VMCAI was sponsored by the University of Texas at Austin, with additional support from Microsoft Research and NEC Research Labs. We are grateful for the support. We would like to thank the Program Committee and the revi- ers for their hard work and dedication in putting together this program. We especially wish to thank Jacob Abraham, director of the Computer Engineering Research Center at the University of Texas at Austin and Debi Prather for their invaluablesupportandassistance,andRichGerber forhis helpwith theSTART conference management system.
Proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 200627 revised full papers feature current research Coverage includes model checking and abstract interpretation, facilitating interaction, cross-fertilization and advancement of hybrid methods