Verification, Model Checking, and Abstract Interpretation: Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Paper

by Agostino Cortesi

This volume contains the revised version of papers presented at VMCAI 2002, theThirdInternationalWorkshoponVeri?cation, ModelChecking, andAbstract Interpretation, Venice (Italy), January 21-22, 2002. Themaingoaloftheworkshopwastogiveanoverviewofthemaindirections decisive for the growth and cross-fertilization of major research activities in programanalysis and veri?cation. TheVMCAIserieswasstartedin1997withtheaimofgatheringresearchers interestedininvestigatingsimilaritiesanddi?erencesamongthesethreeresearch...

• Format: Paperback
• Language: English
• ISBN: 3540436316
• ISBN13: 9783540436317
• Release Date: April 2002
• Publisher: Springer
• Length: 331 Pages
• Weight: 1.78 lbs.
• Dimensions: 0.7" x 8.5" x 11.0"