A Forward-Backward Abstraction Refinement Algorithm
Abstract elided by the publisher.
642 papers · page 25 of 33
Internal and External Logics of Abstract Interpretations
Abstract elided by the publisher.
Monitoring Temporal Properties of Stochastic Systems
Abstract elided by the publisher.
A Hybrid Algorithm for LTL Games
Abstract elided by the publisher.
Shape Analysis of Single-Parent Heaps
Abstract elided by the publisher.
DIVINE: DIscovering Variables IN Executables
Abstract elided by the publisher.
Better Under-Approximation of Programs by Hiding Variables
Abstract elided by the publisher.
Invariant Synthesis for Combined Theories
Abstract elided by the publisher.
Using First-Order Theorem Provers in the Jahob Data Structure Verification System
This paper presents our integration of efficient resolution-based theorem provers into the Jahob data structure verification system. Our experimental results show that this approach enables Jahob to automatically verify the correctness of a range of complex dynamically instantiab…
On Flat Programs with Lists
Abstract elided by the publisher.
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning
Abstract elided by the publisher.
Verifying Compensating Transactions
Abstract elided by the publisher.
More Precise Partition Abstractions
Abstract elided by the publisher.
Assertion Checking Unified
Abstract elided by the publisher.
Language-Based Abstraction Refinement for Hybrid System Verification
Abstract elided by the publisher.
Lattice Automata
Abstract elided by the publisher.
Constructing Specialized Shape Analyses for Uniform Change
Abstract elided by the publisher.
Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
Abstract elided by the publisher.
Learning Algorithms and Formal Verification (Invited Tutorial)
Abstract elided by the publisher.
Interpolants and Symbolic Model Checking
Abstract elided by the publisher.