At a Glance
| Applications | Rust Verifier |
| Inputs | Rust |
| Interfaces | CLI |
| Licenses | Mozilla-2.0 |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2024
Prusti is a prototype verifier for Rust that makes it possible to formally prove absence of bugs and correctness of code contracts.