viperproject / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.
1,564Updated 2 weeks ago

Related projects

Alternatives and complementary repositories for prusti-dev