The Why/Krakatoa/Caduceus Platform for Deductive Program Verification.

Jean-Christophe Fillitre, Claude March

Browse the full CAV paper archive.