Stratified Static Analysis Based on Variable Dependencies
From MaRDI portal
Publication:5170182
DOI10.1016/j.entcs.2012.10.008zbMath1294.68063arXiv1109.2405OpenAlexW1986269585WikidataQ113318046 ScholiaQ113318046MaRDI QIDQ5170182
Julien le Guen, David Monniaux
Publication date: 22 July 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1109.2405
Related Items (3)
Improving the results of program analysis by abstract interpretation beyond the decreasing sequence ⋮ Experimental evaluation of numerical domains for inferring ranges ⋮ Decoupling the ascending and descending phases in abstract interpretation
Uses Software
Cites Work
- Unnamed Item
- A minimalistic look at widening operators
- Some ways to reduce the space dimension in polyhedra computations
- Widening and narrowing operators for abstract interpretation
- Precise widening operators for convex polyhedra
- Program Slicing
- Automatic Modular Abstractions for Template Numerical Constraints
- Abstract Interpretation Frameworks
- Widening Polyhedra with Landmarks
- Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra
- Static Analysis by Policy Iteration on Relational Domains
- Precise Fixpoint Computation Through Strategy Iteration
- Static Analysis
- Static Analysis
- Verification, Model Checking, and Abstract Interpretation
This page was built for publication: Stratified Static Analysis Based on Variable Dependencies