Výsledky vyhledávání - "Gawlitza, Thomas Martin"

Report

Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs

Autor: Gawlitza, Thomas Martin, Monniaux, David

Publikováno v: Logical Methods in Computer Science, Volume 8, Issue 3 (September 30, 2012) lmcs:689

We consider the problem of computing numerical invariants of programs, for instance bounds on the values of numerical program variables. More specifically, we study the problem of performing static analysis by abstract interpretation using template l

Externí odkaz: http://arxiv.org/abs/1209.0643

Zobrazit plný text záznamu

Report

Numerical Invariants through Convex Relaxation and Max-Strategy Iteration

Autor: Gawlitza, Thomas Martin, Seidl, Helmut

In this article we develop a max-strategy improvement algorithm for computing least fixpoints of operators on on the reals that are point-wise maxima of finitely many monotone and order-concave operators. Computing the uniquely determined least fixpo

Externí odkaz: http://arxiv.org/abs/1204.1147

Zobrazit plný text záznamu

Report

Improving Strategies via SMT Solving

Autor: Gawlitza, Thomas Martin, Monniaux, David

We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widening operators for enforcing convergence within a finite number of iterati

Externí odkaz: http://arxiv.org/abs/1101.2812

Zobrazit plný text záznamu