Static Analysis by Policy Iteration on Relational Domains
From MaRDI portal
Recommendations
- Computer Aided Verification
- Precise Relational Invariants Through Strategy Iteration
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
- Acceleration of the abstract fixpoint computation in numerical program analysis
Cited in
(36)- Descending chains and narrowing on template abstract domains
- Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs
- Template polyhedra and bilinear optimization
- A sums-of-squares extension of policy iterations
- Policy iteration in finite templates domain
- Program analysis with local policy iteration
- Static analysis by abstract interpretation: a mathematical programming approach
- Mathematical programming based debugging
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
- Template-based unbounded time verification of affine hybrid automata
- Logico-numerical max-strategy iteration
- Finding relevant templates via the principal component analysis
- Generalizing the template polyhedral domain
- Improving strategies via SMT solving
- Invariant generation through strategy iteration in succinctly represented control flow graphs
- Policy iteration within logico-numerical abstract domains
- A Policy Iteration Technique for Time Elapse over Template Polyhedra
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
- Precise Relational Invariants Through Strategy Iteration
- Guided Static Analysis
- Beyond Iteration Vectors: Instancewise Relational Abstract Domains
- Mathematical programming: Turing completeness and applications to software analysis
- Abstract interpretation meets convex optimization
- Tropical linear-fractional programming and parametric mean payoff games
- Acceleration of the abstract fixpoint computation in numerical program analysis
- Computing relaxed abstract semantics w.r.t. quadratic zones precisely
- Stratified static analysis based on variable dependencies
- Template polyhedra with a twist
- Computer Aided Verification
- Validating numerical semidefinite programming solvers for polynomial invariants
- A zonotopic framework for functional abstractions
- Decoupling the ascending and descending phases in abstract interpretation
- A change-based heuristic for static analysis with policy iteration
- Polynomial approximations of the relational semantics of imperative programs
- Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
This page was built for publication: Static Analysis by Policy Iteration on Relational Domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756499)
