Hacker News
- Rust testing or verifying: Why not both? https://alastairreid.github.io/why-not-both/ 8 comments rust
Linking pages
- 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
- This Week in Rust 355 · This Week in Rust https://this-week-in-rust.org/blog/2020/09/09/this-week-in-rust-355/ 9 comments
- Notes for a project to combine property-based tests with SAT-solving, based on the Hypothesis and Crosshair libraries. · GitHub https://gist.github.com/Zac-HD/28a81c7fc9c73637eba4b2f675bb3b5a 3 comments
- Retrospective | Rust Verification Tools https://project-oak.github.io/rust-verification-tools/2021/09/01/retrospective.html 0 comments
Linked pages
- GitHub - google/googletest: GoogleTest - Google Testing and Mocking Framework https://github.com/google/googletest 114 comments
- KLEE http://klee.github.io/ 24 comments
- angr http://angr.io/ 3 comments
- Manticore: Symbolic execution for humans | Trail of Bits Blog https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/ 2 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: Rust testing or verifying: Why not both? – Alastair Reid – Researcher at Intel
See how to search.