56,966 blogs · [ { "id": "01a0b5e5-f249-70ff-a336-a10dc8ec92ee", "title": "Parser Combinators in Dafny", "url": "https://dafny.org/blog/2025/12/15/parser-combinators-in-dafny/", "published_at": "2025-12-15T15:00:00+00:00" }, { "id": "01a0b5e5-f249-70ff-a336-a10dc96263e7", "title": "A Verified Statistics Library for Dafny", "url": "https://dafny.org/blog/standard-libraries/2025/12/01/statistics-library/", "published_at": "2025-12-01T09:00:00+00:00" }, { "id": "01a0b5e5-f249-70ff-a336-a10dc9dd14b9", "title": "Teaching Programming Languages and Security Through Verification: How We Use Dafny to Make Type Systems Click", "url": "https://dafny.org/blog/2025/07/03/teaching-pl/", "published_at": "2025-07-03T17:00:00+00:00" }, { "id": "01a0b5e5-f24a-72b7-b2d5-dc8617652639", "title": "Formal Verification of EVM Bytecode in Dafny", "url": "https://dafny.org/blog/2025/06/24/evm-bytecode/", "published_at": "2025-06-24T17:00:00+00:00" }, { "id": "01a0b5e5-f24a-72b7-b2d5-dc861795259a", "title": "dafny-annotator: AI-Assisted Verification for Dafny", "url": "https://dafny.org/blog/2025/06/21/dafny-annotator/", "published_at": "2025-06-21T09:00:00+00:00" }, { "id": "01a0b5e5-f24a-72b7-b2d5-dc86180091c9", "title": "Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny", "url": "https://dafny.org/blog/2024/01/12/semantics-of-regular-expressions/", "published_at": "2024-01-12T17:00:00+00:00" }, { "id": "01a0b5e5-f24a-72b7-b2d5-dc86182bee88", "title": "Dafny Standard Libraries", "url": "https://dafny.org/blog/2023/12/20/standard-libraries/", "published_at": "2023-12-20T17:00:00+00:00" }, { "id": "01a0b5e5-f24a-72b7-b2d5-dc8618b4c63a", "title": "Teaching Program Verification in Dafny at Amazon", "url": "https://dafny.org/blog/2023/12/15/teaching-program-verification-in-dafny-at-amazon/", "published_at": "2023-12-15T16:00:00+00:00" }, { "id": "01a0b5e5-f24a-72b7-b2d5-dc8619620682", "title": "Automated Test Generation: Chess Puzzles with Dafny", "url": "https://dafny.org/blog/2023/12/06/automated-test-generation-chess-puzzles-with-dafny/", "published_at": "2023-12-06T16:00:00+00:00" }, { "id": "01a0b5e5-f24a-72b7-b2d5-dc861a601488", "title": "Avoiding verification brittleness in Dafny", "url": "https://dafny.org/blog/2023/12/01/avoiding-verification-brittleness/", "published_at": "2023-12-01T16:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/dafny.org/posts