13 citations · 19 across the 3 of their papers we have counts for
4 papers · 1 filter
Parametric Strategy Iteration
Thomas M. Gawlitza, Martin D. Schwarz, Helmut Seidl
Program behavior may depend on parameters, which are either configured before compilation time, or provided at run-time, e.g., by sensors or other input devices. Parametric program…
Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs
Thomas Martin Gawlitza, David Monniaux
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…
Numerical Invariants through Convex Relaxation and Max-Strategy Iteration
Thomas Martin Gawlitza, Helmut Seidl
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…
Improving Strategies via SMT Solving
Thomas Martin Gawlitza, David Monniaux
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…