
A Calculus for Modular Loop Acceleration and NonTermination Proofs
Loop acceleration can be used to prove safety, reachability, runtime bou...
read it

A Calculus for Modular Loop Acceleration
Loop acceleration can be used to prove safety, reachability, runtime bou...
read it

Inferring Lower Runtime Bounds for Integer Programs
We present a technique to infer lower bounds on the worstcase runtime c...
read it

On the Decidability of Termination for Polynomial Loops
We consider the termination problem for triangular weakly nonlinear loo...
read it

Proving NonTermination via Loop Acceleration
We present the first approach to prove nontermination of integer progra...
read it

Termination of Triangular Integer Loops is Decidable
We consider the problem whether termination of affine integer loops is d...
read it
Florian Frohn
is this you? claim profile