Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis.

Dirk Beyer, Thomas A. Henzinger, Grgory Thoduloz

Browse the full CAV paper archive.