Boxes: A Symbolic Abstract Domain of Boxes
Abstract elided by the publisher.
783 papers · page 18 of 40
Alternation for Termination
Abstract elided by the publisher.
Size-Change Termination and Transition Invariants
Abstract elided by the publisher.
Verifying a Local Generic Solver in Coq
Abstract elided by the publisher.
Interprocedural Analysis with Lazy Propagation
Abstract elided by the publisher.
Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods
Abstract elided by the publisher.
Using Static Analysis in Space: Why Doing so?
Abstract elided by the publisher.
Thread-Modular Counterexample-Guided Abstraction Refinement
Abstract elided by the publisher.
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods
Abstract elided by the publisher.
Statically Inferring Complex Heap, Array, and Numeric Invariants
Abstract elided by the publisher.
Abstract Interpreters for Free
Abstract elided by the publisher.
Points-to Analysis as a System of Linear Equations
Abstract elided by the publisher.
Modelling Metamorphism by Abstract Interpretation
Abstract elided by the publisher.
Strictness Meets Data Flow
Abstract elided by the publisher.
Automatic Verification of Determinism for Structured Parallel Programs
Abstract elided by the publisher.
Algorithmic Program Synthesis with Partial Programs and Decision Procedures
Abstract elided by the publisher.
Proving the Correctness of the Implementation of a Control-Command Algorithm
Abstract elided by the publisher.
Increasing the Scope and Resolution of Interprocedural Static Single Assignment
Abstract elided by the publisher.
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
Abstract elided by the publisher.
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
Abstract elided by the publisher.