Cogent: Accurate Theorem Proving for Program Verification.

Byron Cook, Daniel Kroening, Natasha Sharygina

Browse the full CAV paper archive.