GeezerVison

Popular repositories Loading

1. prusti prusti Public

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

   Rust 1.8k 130

2. prusti-assistant prusti-assistant Public

   VS Code extension to verify Rust programs with the Prusti verifier.

   TypeScript 24 9

3. pcg pcg Public

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

   Rust 14 11

4. program-proofs-prusti program-proofs-prusti Public

   Examples and exercises from the book Program Proofs translated to Prusti

   Rust 4

5. prusti-action prusti-action Public

   GitHub Action to verify Rust code using the Prusti verifier.

   JavaScript 3

6. pcg-mutation-testing pcg-mutation-testing Public

   Rust 1 1