Reachability-Guided Abstraction Refinement.

Pierre Ganty, Nicolas Manini, Francesco Ranzato

Browse the full FM paper archive.