Dafny Blog

Teaching Programming Languages and Security Through Verification: How We Use Dafny to Make Type Systems Click

Formal Verification of EVM Bytecode in Dafny

dafny-annotator: AI-Assisted Verification for Dafny

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny

Dafny Standard Libraries

Teaching Program Verification in Dafny at Amazon

Automated Test Generation: Chess Puzzles with Dafny

Avoiding verification brittleness in Dafny

Cracking the Coding Interview in Dafny: Permutations

Identifying specification problems in Dafny programs