Verification, Model Checking, and Abstract Interpretation
Format: Paperback
ISBN13: 9783540436317
Paperback|9783540436317
✨ Featured Offer
Brand New
$58.73
List Price: $54.99
🚚
See all 3 offers from $28.10 FREE standard delivery by: 30 Mar 2026
Overview
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 methodologies, that may be summarized as follows: - programveri'cationaimsatprovingthatprogramsmeettheirspeci'cations, i.e., that the actual programbehavior correspondsto the desired one. - model checking is a speci'c approach to the veri'cation of temporal pr- erties of reactive and concurrentsystems, which has been very successful in the area of ?nite-state programs. - abstract interpretation is a method for designing and comparing semantics ofprogram, expressingvarioustypes ofprogramproperties;in particular, it has been successfully usedto infer run-time programproperties that canbe valuable in optimizing programs. Theprogramcommitteeselected22papersoutof41submissionsonthebasis of at least 3 reviews. The principal selection criteria were relevance, quality, and clarity. The resulting volume o'ers the reader an interesting perspective of the current research trends in the area. In particular, the papers contribute to the following topics: Security and Protocols, Timed Systems and Games, Static Analysis, Optimizations, Types and Veri'cation, and Temporal Logics and Systems. The quality of the papers, the interesting discussions at the workshop, and the friendly atmosphere enjoyed by all participants in Venice, encouraged us in the projectofmakingVMCAI anannualprivilegedforumfor researchersin the area. Specialthanksareduetotheinstitutionsthatsponsoredtheevent: theC- puter Science Department of the University Ca' Foscari, the European Asso- ation for Programming Languages and Systems (EAPLS), the MIUR Project "InterpretazioneAstratta, TypeSystemseAnalisiControl-Flow"andtheMIUR Project"MetodiFormaliperlaSicurezza-MEFISTO."Weareespeciallygra- ful to C. Braghin for her helpful support in organizingthe workshop.
| ISBN-13 | 9783540436317 |
|---|---|
| ISBN-10 | 3540436316 |
| Weight | 1.15 Pounds |
| Dimensions | 6.10 x 0.79 x 9.25 In |
| List Price | $54.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | viii, 331 pages |
| Publisher | Springer |
| Published On | 2002-04-24 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
Used, Very Good
Seller details
Doss-Haus Books
Redondo Beach, CA, USA
Book. 8vo-over 7¾"-9¾" tall. Hardcover 2002 library bound edition. Ex-library book with stamps and ...
Free delivery by: 30 Mar 2026
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Trade paperback (US). Glued binding. 331 p. Lecture Notes in Computer Science, 2294...
Free delivery by: 30 Mar 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 30 Mar 2026