Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Bibliographic Details
Other Authors: Steffen, Bernhard (Editor), Levi, Giorgio (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2004, 2004
Edition:1st ed. 2004
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
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