verifast/verifast

Research prototype tool for modular formal verification of C, Rust and Java programs

↗ Open on GitHub

Stars

507

Forks

72

Language

Rust

License

NOASSERTION

Last push

20 hours ago

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.