A static verifier for Rust, based on the Viper verification infrastructure.
Primary LanguageRustOtherNOASSERTION