Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A).

Leonardo Mendona de Moura, Harald Rue, Maria Sorea

Browse the full CAV paper archive.