VMCAI 2008
26 papers
- A Forward-Backward Abstraction Refinement Algorithm
- A Hybrid Algorithm for LTL Games
- Abstract Interpretation of Cellular Signalling Networks
- Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions
- Abstract Interpretation of the Physical Inputs of Embedded Programs
- All You Need Is Compassion
- An Improved Tight Closure Algorithm for Integer Octagonal Constraints
- Approximation Refinement for Interpolation-Based Model Checking
- CTL as an Intermediate Language
- Decision Procedures for Multisets with Cardinality Constraints
- Deriving Bisimulations by Simplifying Partitions
- Diagnostic Information for Realizability
- Extending Model Checking with Dynamic Analysis
- From LTL to Symbolically Represented Deterministic Automata
- Handling Parameterized Systems with Non-atomic Global Conditions
- Internal and External Logics of Abstract Interpretations
- Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?
- Model Checking for Action Abstraction
- Monitoring Temporal Properties of Stochastic Systems
- Multi-valued Logics, Automata, Simulations, and Games
- On Bridging Simulation and Formal Verification
- Precise Set Sharing Analysis for Java-Style Programs
- Program Analysis and Programming Languages for Security
- Runtime Checking for Separation Logic
- Sufficient Preconditions for Modular Assertion Checking
- Verification of Register Allocators