Towards AI-Assisted Synthesis of Verified Dafny Methods

DaisyNFS is an NFS server verified using Dafny and Perennial.

Dafny for Metatheory of Programming Languages

DafnyBench: A Benchmark for Formal Software Verification

Library of formally verified abstract data types in Dafny.

Examples of formal verifications written in Dafny.

Short introduction to Dafny

Yul semantics and verification in Dafny

some formal verification exercises using dafny.

Dafny

The Dafny Programming language IDE submodule for SNU Programming Tools.

A repository for showcasing my knowledge of the Dafny programming language, and continuing to learn the language.

Métodos Formales de Desarrollo de Software

Trabalho 1 de Métodos Formais.

Verifying persistent binary search trees with Dafny

Tesis: Lógica de Programación con Dafny

A repository containing all the laboratories developed for the Formal Methods in Software Engineering Course, part of the Master's Degree in Software Engineering.

Code and projects developed in the MFES subject throughout the semester (MIEIC 4th year, 1st semester).

Exercises in Dafny, a program verifier with functional correctness.

Repository of code developed for the course MFES @FEUP