dafny
There are 62 repositories under dafny topic.
namin/llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
namin/dot
formalization of the Dependent Object Types (DOT) calculus
uwplse/Casper
A compiler for automatically re-targeting sequential Java code to Apache Spark.
Mondego/dafny-synthesis
[FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
codersguild/Software-Analysis-PAVT
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
mit-pdos/daisy-nfsd
DaisyNFS is an NFS server verified using Dafny and Perennial.
sun-wendy/DafnyBench
DafnyBench: A Benchmark for Formal Software Verification
namin/dafny-sandbox
Dafny for Metatheory of Programming Languages
arsalan0c/dafny-of-python
A tool for deductive verification of Python programs based on Dafny
DafnyVSCode/Dafny-VSCode
Dafny 2 for Visual Studio Code (Legacy)
pl3onasm/Programming-fundamentals
Imperative programming
bor0/dafny-tutorial
Exercises for the Dafny Tutorial
metareflection/dafny-annotator
AI-assisted verification of Dafny Programs
tchajed/dafny-syntax-tutorial
Short introduction to Dafny
vladstejeroiu/Dafny-programs
Examples of formal verifications written in Dafny.
jorge-jbs/adt-verification-dafny
Library of formally verified abstract data types in Dafny.
franck44/yul-dafny
Yul semantics and verification in Dafny
mattulbrich/dive
Dafny Interactive Verification Environment (DIVE)
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.
mbrown1413/SymEx
Abstract Proven Symbolic Execution Engine
D-Parkinson1/DafnyInfoFlow
An extension of the Dafny programming language that adds the ability to perform information flow analysis on a code file. The method of information flow analysis allows the verification of concurrent programs.
demiourgoi/ROS_navfn_verification
Maude integration and verification for ROS Nav 2
Eggy115/Dafny
Dafny
ningit/vaed
Verifying Algorithms and Data Structures in Dafny (TFG)
seanpm2001/AI2001_Category-Source_Code-SC-Dafny
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Dafny category for AI2001, containing Dafny programming language datasets
seanpm2001/Learn-Dafny
A repository for showcasing my knowledge of the Dafny programming language, and continuing to learn the language.
seanpm2001/SNU_2D_ProgrammingTools_IDE_Dafny
The Dafny Programming language IDE submodule for SNU Programming Tools.
zhuzilin/dafny-exercises
some formal verification exercises using dafny.
ArthurSudbrackIbarra/Trab1-Metodos-Formais
Trabalho 1 de Métodos Formais.
chthonic7/solidity-to-dafny
Verifying Solidity smart contracts via translation to Dafny
juletx/MFDS
Métodos Formales de Desarrollo de Software
kumom/dafny-fatnode
Verifying persistent binary search trees with Dafny
unikraft/lib-dafny
Unikraft library for Dafny programming language.
pstuifzand/treesitter-dafny
Treesitter grammar for Dafny
Soszust40/School
This collection includes various games and software developed for my school assignments using different programming languages.