Accurate Theorem Proving for Program Verification.

Byron Cook, Daniel Kroening, Natasha Sharygina

Browse the full ISoLA paper archive.