Lobsters
- Creusot, a deductive verifier for Rust code https://github.com/creusot-rs/creusot 19 comments formalmethods , rust
Linking pages
Linked pages
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- GitHub - sarsko/CreuSAT: CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. https://github.com/sarsko/CreuSAT 83 comments
- Install Rust - Rust Programming Language https://www.rust-lang.org/tools/install 24 comments
- Why3 http://why3.lri.fr/ 6 comments
- opam - Install https://opam.ocaml.org/doc/Install.html 2 comments
- GitHub - xldenis/creusot: deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications! https://github.com/xldenis/creusot 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - creusot-rs/creusot: Creusot helps you prove your code is correct in an automated fashion.
See how to search.