#

dafny

Here are 60 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 Dec 24, 2024
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

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

Mondego / dafny-synthesis

Towards AI-Assisted Synthesis of Verified Dafny Methods

program-synthesis dafny program-verification llms

Updated Jun 9, 2024
Dafny

mit-pdos / daisy-nfsd

DaisyNFS is an NFS server verified using Dafny and Perennial.

verification dafny

Updated Oct 16, 2024
Dafny

namin / dafny-sandbox

Dafny for Metatheory of Programming Languages

coq dafny meta-theory binders

Updated Nov 5, 2024
Dafny

DafnyVSCode / Dafny-VSCode

Dafny 2 for Visual Studio Code (Legacy)

visual-studio-code dafny

Updated Dec 7, 2022
TypeScript

sun-wendy / DafnyBench

DafnyBench: A Benchmark for Formal Software Verification

benchmark language-model dafny program-verification formal-verification

Updated Dec 12, 2024
Dafny

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 Dec 11, 2024
C

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

bor0 / dafny-tutorial

Exercises for the Dafny Tutorial

exercises dafny formal-verification

Updated May 21, 2018
PHP

jorge-jbs / adt-verification-dafny

Library of formally verified abstract data types in Dafny.

dafny formal-verification

Updated Apr 24, 2024
Dafny

metareflection / dafny-annotator

AI-assisted verification of Dafny Programs

ai verification synthesis dafny llm

Updated Nov 4, 2024
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

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

mbrown1413 / SymEx

Abstract Proven Symbolic Execution Engine

verification dafny symbolic-execution-engine

Updated Jul 14, 2019
C#

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."