![Verification, Model Checking, and Abstract Interpretation [electronic resource] : 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings /](/search/themes/bootstrap3/images/libros.png)
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings /
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.
| Main Authors: | , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
2004
|
| Subjects: | Computer science., Software engineering., Programming languages (Electronic computers)., Computer logic., Computer Science., Software Engineering., Logics and Meanings of Programs., Computer Science, general., Programming Languages, Compilers, Interpreters., |
| Online Access: | http://dx.doi.org/10.1007/b94790 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|