Creusot: A Foundry for the Deductive Verification of Rust Programs.

Xavier Denis, Jacques-Henri Jourdan, Claude March

Browse the full ICFEM paper archive.