Formally Validating a Practical Verification Condition Generator.

Gaurav Parthasarathy, Peter Mller, Alexander J. Summers

Browse the full CAV paper archive.