Leveraging Rust types for modular specification and verificationresearch-collection.ethz.ch1 pointwalterbell7 years ago