Counter-Example Guided Program Verification.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep

Browse the full FM paper archive.