Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR.

Tachio Terauchi

Browse the full SAS paper archive.