Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings by Bernhard SteffenVerification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings by Bernhard Steffen

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004…

byBernhard SteffenEditorGiorgio Levi

Paperback | January 7, 2004

Pricing and Purchase Info

$125.55 online 
$150.50 list price save 16%
Earn 628 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

Israel) called On the Expressive Power of Canonical Abstraction,and -atutorialbyJoshuaD.Guttman(Mitre,USA)on Security, Protocols, and Trust. We would like to thank the Program Committee members and the reviewers, without whose dedicated e?ort the conference would not have been possible.
Title:Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004…Format:PaperbackDimensions:325 pages, 23.5 × 15.5 × 0.07 inPublished:January 7, 2004Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540208038

ISBN - 13:9783540208037

Reviews

Table of Contents

Tutorial.- Security, Protocols, and Trust.- Security.- Security Types Preserving Compilation.- History-Dependent Scheduling for Cryptographic Processes.- Formal Methods I.- Construction of a Semantic Model for a Typed Assembly Language.- Rule-Based Runtime Verification.- On the Expressive Power of Canonical Abstraction.- Boolean Algebra of Shape Analysis Constraints.- Approximate Probabilistic Model Checking.- Completeness and Complexity of Bounded Model Checking.- Model Checking for Object Specifications in Hidden Algebra.- Formal Methods II.- Model Checking Polygonal Differential Inclusions Using Invariance Kernels.- Checking Interval Based Properties for Reactive Systems.- Widening Operators for Powerset Domains.- Type Inference for Parameterized Race-Free Java.- Certifying Temporal Properties for Compiled C Programs.- Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking.- Static Analysis versus Software Model Checking for Bug Finding.- Automatic Inference of Class Invariants.- Liveness with Invisible Ranking.- A Complete Method for the Synthesis of Linear Ranking Functions.- Symbolic Implementation of the Best Transformer.- Formal Methods III.- Constructing Quantified Invariants via Predicate Abstraction.- Analysis of Recursive Game Graphs Using Data Flow Equations.- Applying Jlint to Space Exploration Software.- Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone.- A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal.