Publications Tutorial on static inference of numeric invariants by abstract interpretation Tutorial on static inference of numeric invariants by abstract interpretation Antoine Miné PDF DOI