Verification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 9-11, 2003, Proceeding

by Lenore D. Zuck

This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003. The purpose of VMCAI was to provide a forum for researchers from three communities--Veri?cation, Model Checking, and Abstract Interpretation--that will facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine the three areas...

• Format: Paperback
• Language: English
• ISBN: 3540003487
• ISBN13: 9783540003489
• Release Date: December 2002
• Publisher: Springer
• Length: 328 Pages
• Weight: 1.76 lbs.
• Dimensions: 0.7" x 8.5" x 11.0"