The following pages link to The octagon abstract domain (Q853733):
Displaying 33 items.
- Generic Abstraction of Dictionaries and Arrays (Q5170171) (← links)
- Proving Termination by Policy Iteration (Q5170173) (← links)
- Fully Bounded Polyhedral Analysis of Integers with Wrapping (Q5170176) (← links)
- Sweeping in Abstract Interpretation (Q5170178) (← links)
- Inferring Effective Types for Static Analysis of C Programs (Q5170179) (← links)
- Narrowing Operators on Template Abstract Domains (Q5206948) (← links)
- Inference in probabilistic logic programs using lifted explanations (Q5240217) (← links)
- What You Lose is What You Leak: Information Leakage in Declassification Policies (Q5262929) (← links)
- Extracting Program Logics From Abstract Interpretations Defined by Logical Relations (Q5262946) (← links)
- Automation of Quantitative Information-Flow Analysis (Q5300883) (← links)
- Building Certified Static Analysers by Modular Construction of Well-founded Lattices (Q5415621) (← links)
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes (Q5452615) (← links)
- An Improved Tight Closure Algorithm for Integer Octagonal Constraints (Q5452703) (← links)
- Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model (Q5458814) (← links)
- Static Analysis (Q5466569) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711508) (← links)
- Transfer Function Synthesis without Quantifier Elimination (Q5892491) (← links)
- A zonotopic framework for functional abstractions (Q5962973) (← links)
- Transformation-Enabled Precondition Inference (Q6063861) (← links)
- Relational abstract interpretation of arrays in assembly code (Q6108433) (← links)
- Symbolic analysis of linear hybrid automata -- 25 years later (Q6113970) (← links)
- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes (Q6487320) (← links)
- Logics for extensional, locally complete analysis via domain refinements (Q6535224) (← links)
- Clustered relational thread-modular abstract interpretation with local traces (Q6535225) (← links)
- A change-based heuristic for static analysis with policy iteration (Q6536281) (← links)
- Revisiting polyhedral analysis for hybrid systems (Q6536287) (← links)
- Analysis of software patches using numerical abstract interpretation (Q6536289) (← links)
- Verifying numerical programs via iterative abstract testing (Q6536291) (← links)
- Abstract semantic dependency (Q6536297) (← links)
- Parameterized and exact-exponential algorithms for the read-once integer refutation problem in UTVPI constraints (Q6606248) (← links)
- Constrained read-once refutations in UTVPI constraint systems: a parallel perspective (Q6620016) (← links)
- Termination analysis of programs with multiphase control-flow (Q6647299) (← links)
- The hexatope and octatope abstract domains for neural network verification (Q6661753) (← links)
