Predicate abstraction with adjustable-block encoding.

Dirk Beyer, M. Erkan Keremoglu, Philipp Wendler

Browse the full FMCAD paper archive.