1 paper
David Monniaux, Julien Le Guen
In static analysis by abstract interpretation, one often uses widening operators in order to enforce convergence within finite time to an inductive invariant. Certain widening oper…