Tutorial on static inference of numeric invariants by abstract interpretation

Tutorial on static inference of numeric invariants by abstract interpretation