Teaching Program Verification in Dafny at Amazon (2023)

Dafny Standard Libraries

Teaching Program Verification in Dafny at Amazon

Dafny - a verification-aware programming language

Verifying Selection Sort: an Introduction to Program Verification in Dafny