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...
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 […]
