Hacker News
Lobsters
- verus: Verified Rust for low-level systems code https://github.com/verus-lang/verus 5 comments formalmethods , plt , programming , rust
- GitHub - verus-lang/verus: Verified Rust for low-level systems code https://github.com/verus-lang/verus 10 comments rust
Linking pages
- Verify the Safety of the Rust Standard Library | AWS Open Source Blog https://aws.amazon.com/blogs/opensource/verify-the-safety-of-the-rust-standard-library/ 8 comments
- xavxav - Visions of the future: formal verification in Rust https://xav.io/blog/rust-formal-verification/ 5 comments
- GitHub - vmware-research/verifiable-controllers: This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers. https://github.com/vmware-research/verifiable-controllers 0 comments
Linked pages
Related searches:
Search whole site: site:github.com
Search title: GitHub - verus-lang/verus: Verified Rust for low-level systems code
See how to search.