- Automatic Rust verification tools (2021) https://alastairreid.github.io/automatic-rust-verification-tools-2021/ 15 comments rust
Linking pages
- This Week in Rust 394 · This Week in Rust https://this-week-in-rust.org/blog/2021/06/09/this-week-in-rust-394/ 7 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
Linked pages
- Fearless Concurrency with Rust | Rust Blog https://blog.rust-lang.org/2015/04/10/Fearless-Concurrency.html 309 comments
- Tock Embedded Operating System https://www.tockos.org/ 140 comments
- Clippy Lints https://rust-lang.github.io/rust-clippy/master/index.html#logic_bug 77 comments
- GitHub - rust-lang/miri: An interpreter for Rust's mid-level intermediate representation https://github.com/rust-lang/miri 38 comments
- GitHub - dwrensha/seer: symbolic execution engine for Rust https://github.com/dwrensha/seer 28 comments
- https://github.com/facebookexperimental/mirai/blob/master/readme.md 25 comments
- KLEE http://klee.github.io/ 24 comments
- SAW http://saw.galois.com 18 comments
- rust-analyzer https://rust-analyzer.github.io 1 comment
- GitHub - PLSysSec/haybale: Symbolic execution of LLVM IR with an engine written in Rust https://github.com/PLSysSec/haybale 0 comments
- GitHub - tokio-rs/loom: Concurrency permutation testing tool for Rust. https://github.com/tokio-rs/loom 0 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:alastairreid.github.io
Search title: Automatic Rust verification tools (2021) – Alastair Reid – Researcher at Intel
See how to search.