Widening with Thresholds for Programs with Complex Control Graphs.

Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault

Browse the full ATVA paper archive.