- Announcing the Kani Rust Verifier Project https://model-checking.github.io/kani-verifier-blog/2022/05/04/announcing-the-kani-rust-verifier-project.html 27 comments rust
Linking pages
- This Week in Rust 442 · This Week in Rust https://this-week-in-rust.org/blog/2022/05/11/this-week-in-rust-442/ 7 comments
- Using the Kani Rust Verifier on Tokio Bytes | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2022/08/17/using-the-kani-rust-verifier-on-tokio-bytes.html 6 comments
- Using the Kani Rust Verifier on a Firecracker Example | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2022/07/13/using-the-kani-rust-verifier-on-a-firecracker-example.html 2 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
- Rust Programming Language https://www.rust-lang.org/ 595 comments
- Firecracker https://firecracker-microvm.github.io 235 comments
- Tokio - An asynchronous Rust runtime https://tokio.rs 83 comments
- std - Rust https://doc.rust-lang.org/std/ 53 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- GitHub - rust-lang/miri: An interpreter for Rust's mid-level intermediate representation https://github.com/rust-lang/miri 38 comments
- Rust testing or verifying: Why not both? – Alastair Reid – Researcher at Intel https://alastairreid.github.io/why-not-both/ 36 comments
- https://github.com/facebookexperimental/mirai/blob/master/readme.md 25 comments
- Using lightweight formal methods to validate a key-value storage node in Amazon S3 - Amazon Science https://www.amazon.science/publications/using-lightweight-formal-methods-to-validate-a-key-value-storage-node-in-amazon-s3 1 comment
- GitHub - xldenis/creusot: deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications! https://github.com/xldenis/creusot 0 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:model-checking.github.io
Search title: Announcing the Kani Rust Verifier Project | Kani Rust Verifier Blog
See how to search.