Abstract interpretation meets convex optimization
From MaRDI portal
Publication:435969
Recommendations
- Improving strategies via SMT solving
- Invariant generation through strategy iteration in succinctly represented control flow graphs
- Static Analysis by Policy Iteration on Relational Domains
- Abstract fixpoint computations with numerical acceleration methods
- Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools
Cites work
- scientific article; zbMATH DE number 4089320 (Why is no real title available?)
- scientific article; zbMATH DE number 2107836 (Why is no real title available?)
- scientific article; zbMATH DE number 3381785 (Why is no real title available?)
- scientific article; zbMATH DE number 964349 (Why is no real title available?)
- CSDP 2.3 user's guide
- CSDP, A C library for semidefinite programming
- Computer Aided Verification
- Computing relaxed abstract semantics w.r.t. quadratic zones precisely
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
- Implementation and evaluation of SDPA 6.0 (Semidefinite Programming Algorithm 6.0)
- Implementation of a primal-dual method for SDP on a shared memory parallel architecture
- Large-scale semidefinite programs in electronic structure calculation
- Precise Fixpoint Computation Through Strategy Iteration
- Precise Relational Invariants Through Strategy Iteration
- Programming languages and systems. 16th European symposium of programming, ESOP 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 -- April 1, 2007. Proceedings.
- Quadratic programming is in NP
- SDPT3 — A Matlab software package for semidefinite programming, Version 1.3
- Semidefinite optimization
- Solving semidefinite-quadratic-linear programs using SDPT3
- Static Analysis by Policy Iteration on Relational Domains
- Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
- Verification, Model Checking, and Abstract Interpretation
- Verification, Model Checking, and Abstract Interpretation
Cited in
(24)- Computing relaxed abstract semantics w.r.t. quadratic zones precisely
- Narrowing operators on template abstract domains
- Stratified static analysis based on variable dependencies
- Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs
- Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case
- Numerical invariants through convex relaxation and max-strategy iteration
- Acceleration of the abstract fixpoint computation in numerical program analysis
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
- Automatic modular abstractions for template numerical constraints
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
- Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
- Fast numerical program analysis with reinforcement learning
- scientific article; zbMATH DE number 5235691 (Why is no real title available?)
- Logico-numerical max-strategy iteration
- Linear absolute value relation analysis
- Inferring Min and Max Invariants Using Max-Plus Polyhedra
- Template polyhedra and bilinear optimization
- Improving strategies via SMT solving
- Abstract fixpoint computations with numerical acceleration methods
- Descending chains and narrowing on template abstract domains
- Invariant generation through strategy iteration in succinctly represented control flow graphs
- Abstract interpretation with higher-dimensional ellipsoids and conic extrapolation
- Template polyhedra with a twist
This page was built for publication: Abstract interpretation meets convex optimization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q435969)
