• A Hoare Logic for Rust http://ticki.github.io/blog/a-hoare-logic-for-rust/ 43 comments 30/9/2016

• Modeling memory: A Hoare Logic for Rust http://ticki.github.io/blog/a-hoare-logic-for-rust/ 17 comments 30/9/2016 rust
• A Hoare Logic for Rust - by Redox dev Ticki (being used in possible formalization of redox kernel) http://ticki.github.io/blog/a-hoare-logic-for-rust/ 2 comments 30/9/2016 redox