viperproject/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
RustNOASSERTION
Watchers
- Aurel300
- Clownsw
- cmathejaOldenburg University
- eemailme
- fpoliETH Zurich
- honoodBeijing, China
- jevinskieLafayette, Indiana
- jhcloos
- JonasAlaif
- lengyijunSJTU
- lkml-likexuTencent Cloud
- mattmacySeattle, Washington
- ocschwar
- ozfSoftware Square, Byte Town, Logicstate, Computronia
- Pointerbender
- rnetonetBrazil
- rwCTO
- timothyklim
- trycatcher
- vakaras
- zgrannan