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)
ISBN 10: 3540436316 ISBN 13: 9783540436317
Edité par Springer, 2002
Neuf(s)
Couverture souple
Vendeur
Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 25 mars 2015
Cet article spécifique n'est plus disponible.
A propos de cet article
Description :
In. N° de réf. du vendeur ria9783540436317_new
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Détails bibliographiques
Titre : Verification, Model Checking, and Abstract ...
Éditeur : Springer
Date d'édition : 2002
Reliure : Couverture souple
Etat : New
Meilleurs résultats de recherche sur AbeBooks
Image fournie par le vendeur
Verification, Model Checking, and Abstract Interpretation
Edité par
Springer Berlin Heidelberg, 2002
ISBN 10 : 3540436316
ISBN 13 : 9783540436317
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : 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. N° de réf. du vendeur 4890551
Acheter neuf
EUR 48,37
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Verification, Model Checking, and Abstract Interpretation
Edité par
Springer, Springer Apr 2002, 2002
ISBN 10 : 3540436316
ISBN 13 : 9783540436317
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 JavaCard Virtual Machines.- Analyzing Cryptographic Protocols in a Reactive Framework.- Timed Systems and Games.- An Abstract Schema for Equivalence-Checking Games.- Synchronous Closing of Timed SDL Systems for Model Checking.- Automata-Theoretic Decision of Timed Games.- Static Analysis.- Compositional Termination Analysis of Symbolic Forward Analysis.- Combining Norms to Prove Termination.- Static Monotonicity Analysis for -definable Functions over Lattices.- A Refinement of the Escape Property.- Optimizations.- Storage Size Reduction by In-place Mapping of Arrays.- Verifying BDD Algorithms through Monadic Interpretation.- Improving the Encoding of LTL Model Checking into SAT.- Types and Verification.- Automatic Verification of Probabilistic Free Choice.- An Experiment in Type Inference and Verification by Abstract Interpretation.- Weak Muller Acceptance Conditions for Tree Automata.- A Fully Abstract Model for Higher-Order Mobile Ambients.- Temporal Logics and Systems.- A Simulation Preorder for Abstraction of Reactive Systems.- Approximating ATL\* in ATL.- Model Checking Modal Transition Systems Using Kripke Structures.- Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 348 pp. Englisch. N° de réf. du vendeur 9783540436317
Acheter neuf
EUR 53,49
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540436317
Acheter neuf
EUR 53,49
Expédition à EUR 62,64
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers (Lecture Notes in Computer Science)
Edité par
Springer, 2002
ISBN 10 : 3540436316
ISBN 13 : 9783540436317
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur UTD1421777
Acheter D'occasion
EUR 59,45
Expédition à EUR 5,98
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Verification, Model Checking, and Abstract Interpretation
Edité par
Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10 : 3540436316
ISBN 13 : 9783540436317
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540436317
Acheter neuf
EUR 74,89
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
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))
Edité par
Springer, 2002
ISBN 10 : 3540436316
ISBN 13 : 9783540436317
Ancien ou d'occasion
Paperback
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. N° de réf. du vendeur ERICA78735404363166
Acheter D'occasion
EUR 120,39
Expédition à EUR 28,93
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)