1. Using forward reachability analysis for verification of lossy channel systems;Abdulla;Formal Methods in System Design,2004
2. The algorithmic analysis of hybrid systems;Alur;Theoretical Computer Science,1995
3. A modular static analysis approach to affine loop invariants detection;Ancourt,2010
4. Grids: a domain for analyzing the distribution of numerical values;Bagnara,2006
5. Precise widening operators for convex polyhedra;Bagnara,2003