viperproject/prusti-dev

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

↗ Open on GitHub

Stars

1,807

Forks

125

Language

Rust

License

NOASSERTION

Last push

4 days ago

Rust rust formal-verification verification viper

No related intel yet

This repo has not appeared in any of the sources the radar tracks. The collector runs on a schedule — check back once it covers this repo.