Posts
- Jul 3, 2025
Teaching Programming Languages and Security Through Verification: How We Use Dafny to Make Type Systems Click
- Jun 24, 2025
Formal Verification of EVM Bytecode in Dafny
- Jun 21, 2025
dafny-annotator: AI-Assisted Verification for Dafny
- Jan 12, 2024
Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
- Dec 20, 2023
Dafny Standard Libraries
- Dec 15, 2023
Teaching Program Verification in Dafny at Amazon
- Dec 6, 2023
Automated Test Generation: Chess Puzzles with Dafny
- Dec 1, 2023
Avoiding verification brittleness in Dafny
- Nov 8, 2023
Cracking the Coding Interview in Dafny: Permutations
- Oct 27, 2023
Identifying specification problems in Dafny programs
- Aug 14, 2023
Clear Separation of Specification and Implementation in Dafny
- Jul 14, 2023
How to use Dafny to prove type safety
- Apr 19, 2023
Making Verification Compelling: Visual Verification Feedback for Dafny
- Mar 3, 2023
Dafny 4 is released
subscribe via RSS