Lobsters
- Visions of the future: formal verification in Rust https://xav.io/blog/rust-formal-verification/ 5 comments plt , rust
Linked pages
- References are like jumps https://without.boats/blog/references-are-like-jumps/ 176 comments
- Captcha Check https://graydon2.dreamwidth.org/312681.html 168 comments
- GitHub - verus-lang/verus: Verified Rust for low-level systems code https://github.com/verus-lang/verus 118 comments
- GitHub - viperproject/prusti-dev: A static verifier for Rust, based on the Viper verification infrastructure. https://github.com/viperproject/prusti-dev 92 comments
- GitHub - creusot-rs/creusot: Creusot helps you prove your code is correct in an automated fashion. https://github.com/creusot-rs/creusot 19 comments
- Hoare logic - Wikipedia https://en.wikipedia.org/wiki/Hoare_logic 14 comments
Related searches:
Search whole site: site:xav.io
Search title: xavxav - Visions of the future: formal verification in Rust
See how to search.