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
- 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)- Logico-numerical max-strategy iteration
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
- Linear absolute value relation analysis
- Numerical invariants through convex relaxation and max-strategy iteration
- Narrowing operators on template abstract domains
- Stratified static analysis based on variable dependencies
- Acceleration of the abstract fixpoint computation in numerical program analysis
- scientific article; zbMATH DE number 5235691 (Why is no real title available?)
- Template polyhedra and bilinear optimization
- Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs
- Template polyhedra with a twist
- Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case
- Descending chains and narrowing on template abstract domains
- Computing relaxed abstract semantics w.r.t. quadratic zones precisely
- Invariant generation through strategy iteration in succinctly represented control flow graphs
- Abstract fixpoint computations with numerical acceleration methods
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
- Abstract interpretation with higher-dimensional ellipsoids and conic extrapolation
- Improving strategies via SMT solving
- Automatic modular abstractions for template numerical constraints
- Fast numerical program analysis with reinforcement learning
- Inferring Min and Max Invariants Using Max-Plus Polyhedra
- Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs
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)
