Items related to Verification, Model Checking, and Abstract Interpretation:...
Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers: 2294 (Lecture Notes in Computer Science, 2294) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Synopsis
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002, held in Venice, Italy in January 2002. The 22 revised full papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on security and protocols, timed systems and games, static analysis, optimization, types and verification, and temporal logics and systems.
"About this title" may belong to another edition of this title.
Search results for Verification, Model Checking, and Abstract Interpretation:...
Seller Image
Verification, Model Checking, and Abstract Interpretation : Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5906705-n
Quantity: Over 20 available
Stock Image
Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Pape
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540436317
Quantity: 10 available
Stock Image
Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers (Lecture Notes in Computer Science, 2294)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540436317_new
Quantity: Over 20 available
Stock Image
Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Published by
Springer Verlag, New York City, 2002
ISBN 10: 3540436316
ISBN 13: 9783540436317
Used
Hardcover
Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;2294.[viii, 330 p. : ill. ; 24 cm]. Seller Inventory # 010668
Quantity: 1 available
Seller Image
Verification, Model Checking, and Abstract Interpretation : Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5906705
Quantity: Over 20 available
Seller Image
Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Published by
Springer Berlin Heidelberg, 2002
ISBN 10: 3540436316
ISBN 13: 9783540436317
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783540436317
Quantity: 1 available
Seller Image
Verification, Model Checking, and Abstract Interpretation : Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5906705-n
Quantity: Over 20 available
Seller Image
Verification, Model Checking, and Abstract Interpretation
Published by
Springer Berlin Heidelberg, 2002
ISBN 10: 3540436316
ISBN 13: 9783540436317
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Security and Protocols.- Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode.- Proofs Methods for Bisimulation Based Information Flow Security.- A Formal Correspondence between Offensive and Defensive Java. Seller Inventory # 4890551
Quantity: Over 20 available
Seller Image
Verification, Model Checking, and Abstract Interpretation : Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5906705
Quantity: Over 20 available
Seller Image
Verification, Model Checking, and Abstract Interpretation
Published by
Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540436316
ISBN 13: 9783540436317
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 348 pp. Englisch. Seller Inventory # 9783540436317
Quantity: 2 available