Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2008.
|
| Σειρά: | Lecture Notes in Computer Science,
4905 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions
- CTL as an Intermediate Language
- Multi-valued Logics, Automata, Simulations, and Games
- Verification of Register Allocators
- Program Analysis and Programming Languages for Security
- An Improved Tight Closure Algorithm for Integer Octagonal Constraints
- Handling Parameterized Systems with Non-atomic Global Conditions
- Abstract Interpretation of the Physical Inputs of Embedded Programs
- Diagnostic Information for Realizability
- Approximation Refinement for Interpolation-Based Model Checking
- Abstract Interpretation of Cellular Signalling Networks
- Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?
- Model Checking for Action Abstraction
- On Bridging Simulation and Formal Verification
- Extending Model Checking with Dynamic Analysis
- Deriving Bisimulations by Simplifying Partitions
- Precise Set Sharing Analysis for Java-Style Programs
- Sufficient Preconditions for Modular Assertion Checking
- Runtime Checking for Separation Logic
- Decision Procedures for Multisets with Cardinality Constraints
- All You Need Is Compassion
- A Forward-Backward Abstraction Refinement Algorithm
- Internal and External Logics of Abstract Interpretations
- From LTL to Symbolically Represented Deterministic Automata
- Monitoring Temporal Properties of Stochastic Systems
- A Hybrid Algorithm for LTL Games.
