Lazy Shape Analysis.

Dirk Beyer, Thomas A. Henzinger, Grgory Thoduloz

Browse the full CAV paper archive.