Dafny is a verification-ready programming language that provides automatic verification as you code...