Creusot: A Foundry for the Deductive Verification of Rust Programs
Xavier Denis, Jacques-Henri Jourdan, Claude Marché
Topics & Concepts
Computer scienceRust (programming language)FoundryProgramming languageSoftware engineeringEngineeringMechanical engineeringDigital and Cyber ForensicsSugarcane Cultivation and ProcessingSoftware Engineering Research