#

dafny

Here are 63 public repositories matching this topic...

namin / llm-verified-with-monte-carlo-tree-search

LLM verified with Monte Carlo Tree Search

ai coq verification lean synthesis dafny monte-carlo-tree-search llm

Updated Mar 31, 2025
Jupyter Notebook

namin / dot

formalization of the Dependent Object Types (DOT) calculus

oop coq dafny plt-redex twelf meta-theory

Updated Sep 8, 2016

uwplse / Casper

A compiler for automatically re-targeting sequential Java code to Apache Spark.

java spark compiler z3 synthesis dafny

Updated Jun 15, 2023
Java

Mondego / dafny-synthesis

[FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods

program-synthesis dafny program-verification llms

Updated Jun 9, 2024
Dafny

codersguild / Software-Analysis-PAVT

Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).

analysis llvm verification sudoku-solver fuzzing dafny boogie hacktoberfest cvc4 hoare-logic cbmc z3-smt-solver z3py hacktoberfest2021 dynamic-taint-analysis uclid5 uclid

Updated Apr 9, 2023
Boogie

mit-pdos / daisy-nfsd

DaisyNFS is an NFS server verified using Dafny and Perennial.

verification dafny

Updated Oct 16, 2024
Dafny

sun-wendy / DafnyBench

DafnyBench: A Benchmark for Formal Software Verification

benchmark language-model dafny program-verification formal-verification

Updated Dec 12, 2024
Dafny

namin / dafny-sandbox

Dafny for Metatheory of Programming Languages

coq dafny meta-theory binders

Updated Jan 20, 2025
Dafny

DafnyVSCode / Dafny-VSCode

Dafny 2 for Visual Studio Code (Legacy)

visual-studio-code dafny

Updated Dec 7, 2022
TypeScript

arsalan0c / dafny-of-python

A tool for deductive verification of Python programs based on Dafny

python compiler static verification transpiler dafny mypy auto-active

Updated Jul 18, 2021
OCaml

pl3onasm / Programming-fundamentals

Imperative programming

c recursion training-materials dafny correctness programming-fundamentals university-of-groningen imperative-programming exam-practice exam-solutions program-proofs

Updated Jan 27, 2025
C

bor0 / dafny-tutorial

Exercises for the Dafny Tutorial

exercises dafny formal-verification

Updated May 21, 2018
PHP

metareflection / dafny-annotator

AI-assisted verification of Dafny Programs

ai verification synthesis dafny llm

Updated Jan 30, 2025
Python

tchajed / dafny-syntax-tutorial

Short introduction to Dafny

tutorial dafny

Updated Sep 27, 2023
Dafny

vladstejeroiu / Dafny-programs

Examples of formal verifications written in Dafny.

dafny formal-verification formal-specification

Updated May 10, 2021
Dafny

jorge-jbs / adt-verification-dafny

Library of formally verified abstract data types in Dafny.

dafny formal-verification

Updated Apr 24, 2024
Dafny

namin / dafny-sketcher

piggy-backing on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and symbolic reasoning

verification dafny llm

Updated Mar 27, 2025
Shell

mattulbrich / dive

Dafny Interactive Verification Environment (DIVE)

java verification dafny

Updated Mar 10, 2022
Java

ShrohanMohapatra / ExplorePLT

A repository that describes my explorations on formal verification using Dafny, techniques from programming language theory such as CYK parsing, Earley parsing, type-theoretic things like lambda calculus etc.

lambda-calculus lambda-expressions dafny earley-algorithm formal-verification earley-parser turing-completeness formal-specification loop-invariants weakest-preconditions cyk-algorithm church-thesis

Updated Jun 23, 2021
Python

franck44 / yul-dafny

Yul semantics and verification in Dafny

dafny evm yul

Updated Jan 16, 2024
Dafny

Improve this page

Add a description, image, and links to the dafny topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the dafny topic, visit your repo's landing page and select "manage topics."