How Open Source Projects are Using Kani to Write Better Software in Rust

Linking pages

This Week in Rust 520 · This Week in Rust https://this-week-in-rust.org/blog/2023/11/08/this-week-in-rust-520/ 2 comments

Linked pages

Introducing ChatGPT https://openai.com/blog/chatgpt/ 296 comments
Firecracker https://firecracker-microvm.github.io 235 comments
GitHub - rust-lang/miri: An interpreter for Rust's mid-level intermediate representation https://github.com/rust-lang/miri 38 comments
hifitime - Rust https://docs.rs/hifitime/latest/hifitime/ 31 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
https://github.com/facebookexperimental/mirai/blob/master/readme.md 25 comments
GitHub - aws/s2n-quic: An implementation of the IETF QUIC protocol https://github.com/aws/s2n-quic 24 comments
GitHub - firecracker-microvm/firecracker: Secure and fast microVMs for serverless computing. https://github.com/firecracker-microvm/firecracker 14 comments
From Fuzzing to Proof: Using Kani with the Bolero Property-Testing Framework | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2022/10/27/using-kani-with-the-bolero-property-testing-framework.html 9 comments
How Kani helped find bugs in Hifitime | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2023/03/31/how-kani-helped-find-bugs-in-hifitime.html 4 comments
GitHub - xldenis/creusot: deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications! https://github.com/xldenis/creusot 0 comments
Writing Code with ChatGPT? Improve it with Kani. | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2023/05/01/writing-code-with-chatgpt-improve-it-with-kani.html 0 comments
Using Kani to Validate Security Boundaries in AWS Firecracker | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2023/08/31/using-kani-to-validate-security-boundaries-in-aws-firecracker.html 0 comments