Nine Rules to Formally Validate Rust Algorithms with Dafny (Part 2) | Towards Data Science

By Carl M. Kadie and Divyanshu Ranjan This is Part 2 of an article formally verifying a Rust algorithm using Dafny. We look at rules 7 to 9: Port your Real Algorithm to Dafny. Validate the Dafny Ve...

By · · 1 min read
Nine Rules to Formally Validate Rust Algorithms with Dafny (Part 2) | Towards Data Science

Source: Towards Data Science

By Carl M. Kadie and Divyanshu Ranjan This is Part 2 of an article formally verifying a Rust algorithm using Dafny. We look at rules 7 to 9: Port your Real Algorithm to Dafny. Validate the Dafny Version of Your Algorithm. Rework Your Validation for Reliability. See Part 1 for rules 1 to 6: Don’t […]