Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR.

Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim

Browse the full ICSE paper archive.