Rust Formal-methods Resources