A static verifier for Rust, based on the Viper verification infrastructure. - View it on GitHub