Creusot: A prototype tool for verification of Rust software

Name: Creusot: A prototype tool for verification of Rust software
Uploaded: 2021-05-11T00:00:00.000Z
Description: Video Creusot: A prototype tool for verification of Rust software