Verimag

bibtex

@inproceedings{ML11,
    title = { Stratified Static Analysis Based on Variable Dependencies },
    author = {Monniaux, David and Le Guen, Julien},
    year = {2011},
    booktitle = {Third International Workshop on Numerical and Symbolic Abstract Domains},
    team = {SYNC,PACSS},
    abstract = {In static analysis by abstract interpretation, one often uses \emph{widening operators} in order to enforce convergence within finite time to an inductive invariant. Certain widening operators, including the classical one over finite polyhedra, exhibit an unintuitive behavior: analyzing the program over a subset of its variables may lead a more precise result than analyzing the original program! In this article, we present simple workarounds for such behavior. },
}

URL

PDF

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 778080