Path predicate abstraction by complete interval property checking.

Joakim Urdahl, Dominik Stoffel, Jrg Bormann, Markus Wedler, Wolfgang Kunz

Browse the full FMCAD paper archive.