Static Coverage in Deductive Software Verification.

Aaron Tomb, Anjali Joshi

Browse the full FMCAD paper archive.