GitHub - xldenis/creusot: deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications! - discu.eu

Linking pages

GitHub - sarsko/CreuSAT: CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. https://github.com/sarsko/CreuSAT 83 comments
Announcing the Kani Rust Verifier Project | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2022/05/04/announcing-the-kani-rust-verifier-project.html 28 comments
GitHub - creusot-rs/creusot: Creusot helps you prove your code is correct in an automated fashion. https://github.com/creusot-rs/creusot 19 comments
This Week in Rust 381 · This Week in Rust https://this-week-in-rust.org/blog/2021/03/10/this-week-in-rust-381/ 8 comments
GitHub - newca12/awesome-rust-formalized-reasoning: An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification. https://github.com/newca12/awesome-rust-formalized-reasoning 0 comments
Using the Kani Rust Verifier on a Rust Standard Library CVE | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2022/06/01/using-the-kani-rust-verifier-on-a-rust-standard-library-cve.html 0 comments
How Open Source Projects are Using Kani to Write Better Software in Rust | AWS Open Source Blog https://aws.amazon.com/blogs/opensource/how-open-source-projects-are-using-kani-to-write-better-software-in-rust/ 0 comments

Linked pages

Related searches:

Search whole site: site:github.com

Search title: GitHub - xldenis/creusot: deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

See how to search.

Submit link to: