Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
type: Item
instance of: scholarly article
zbMATH Open document ID: 1237.68054
author: Assalé Adjé
author: Stéphane Gaubert
author: Éric Goubault
publication date: 2012-04-03T00:00:00Z
full work available at URL: https://arxiv.org/abs/1111.5223
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 90C20
Mathematics Subject Classification ID: 90C22
Mathematics Subject Classification ID: 90C25
zbMATH DE Number: 6021318
zbMATH Keywords: abstract interpretation
zbMATH Keywords: policy iteration
zbMATH Keywords: convex programming
zbMATH Keywords: quadratic programming
zbMATH Keywords: semidefinite programming
zbMATH Keywords: Lyapunov functions
describes a project that uses: Lurupa
describes a project that uses: SeDuMi
describes a project that uses: YALMIP
MaRDI profile type: Publication
arXiv ID: 1111.5223
arXiv classification: cs.LO
arXiv classification: math.OC
title: Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
published in: Logical Methods in Computer Science
description: scientific article; zbMATH DE number 6021318