Fixpoint-Guided Abstraction Refinements.

Patrick Cousot, Pierre Ganty, Jean-Franois Raskin

Browse the full SAS paper archive.