Hacker News
- A Formal Verification of Rust's Binary Search Implementation https://kha.github.io/2016/07/22/formally-verifying-rusts-binary-search.html 26 comments
- A Formal Verification of Rust's Binary Search Implementation https://kha.github.io/2016/07/22/formally-verifying-rusts-binary-search.html 17 comments rust
Linking pages
Linked pages
- Home | seL4 https://sel4.systems 502 comments
- Introducing MIR | Rust Blog http://blog.rust-lang.org/2016/04/19/MIR.html 291 comments
- Electrolysis - MozillaWiki https://wiki.mozilla.org/Electrolysis 207 comments
- CompCert - Main page http://compcert.inria.fr/ 191 comments
- slice - Rust https://doc.rust-lang.org/std/primitive.slice.html#method.align_to 63 comments
- Lean http://leanprover.github.io 46 comments
- RustBelt http://plv.mpi-sws.org/rustbelt/#project 37 comments
- GitHub - Kha/electrolysis: Simple verification of Rust programs via functional purification in Lean 2(!) https://github.com/kha/electrolysis 8 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:kha.github.io
Search title: A Formal Verification of Rust's Binary Search Implementation
See how to search.