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