Abstract interpretation meets convex optimization
From MaRDI portal
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
- 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
- CSDP 2.3 user's guide
- CSDP, A C library for semidefinite programming
- 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?)
- 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)- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
- Descending chains and narrowing on template abstract domains
- Abstract interpretation with higher-dimensional ellipsoids and conic extrapolation
- Numerical invariants through convex relaxation and max-strategy iteration
- 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
- Abstract fixpoint computations with numerical acceleration methods
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
- Logico-numerical max-strategy iteration
- Linear absolute value relation analysis
- Improving strategies via SMT solving
- Invariant generation through strategy iteration in succinctly represented control flow graphs
- Inferring Min and Max Invariants Using Max-Plus Polyhedra
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
- Automatic modular abstractions for template numerical constraints
- 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
- Narrowing operators on template abstract domains
- Template polyhedra with a twist
- scientific article; zbMATH DE number 5235691 (Why is no real title available?)
- Fast numerical program analysis with reinforcement learning
- Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs
- Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case
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)
