Algorithms for software model checking: Predicate abstraction vs. Impact.

Dirk Beyer, Philipp Wendler

Browse the full FMCAD paper archive.