Prusti

Popular repositories Loading

1. prusti prusti Public

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

   Rust 1.8k 127

2. pcg pcg Public

   Place capability graphs, a model for Rust ownership and borrow system.

   Rust 11 9

3. pcg-mutation-testing pcg-mutation-testing Public

   Rust 1 1

4. pcg-docs pcg-docs Public

   Lean 1

5. prusti-prerelease prusti-prerelease Public

   Rust