- Leveraging rust types for modular specification and verification https://www.research-collection.ethz.ch/handle/20.500.11850/311092 10 comments rust
Linking pages
- Rust: beyond the typechecker https://blog.merigoux.ovh/en/2019/04/16/verifying-rust.html 135 comments
- Rust: beyond the typechecker https://blog.merigoux.fr/en/2019/04/16/verifying-rust.html 33 comments
- Security as Rust 2019 goal. The goals and 2019 roadmap of Rust… | by Sergey "Shnatsel" Davidoff | Medium https://medium.com/@shnatsel/security-as-rust-2019-goal-6a060116ba39 7 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:research-collection.ethz.ch
Search title: Leveraging rust types for modular specification and verification - Research Collection
See how to search.