There are 2 repositories under dafny topic.
LLM verified with Monte Carlo Tree Search
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
Towards AI-Assisted Synthesis of Verified Dafny Methods
A tool for deductive verification of Python programs based on Dafny
Imperative programming
DafnyBench: A Benchmark for Formal Software Verification
Library of formally verified abstract data types in Dafny.
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.
Examples of formal verifications written in Dafny.
Abstract Proven Symbolic Execution Engine
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.
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Dafny category for AI2001, containing Dafny programming language datasets
A repository for showcasing my knowledge of the Dafny programming language, and continuing to learn the language.
The Dafny Programming language IDE submodule for SNU Programming Tools.
Maude integration and verification for ROS Nav 2
📝📏📄Space-Recog-PDF-Secure ✨🐍 is a Python script designed to format text 📝 into paragraphs with precise width-based 📏 justification. This tool takes input text 📄 and aligns it within specified column widths, optimizing the distribution of white spaces ⚖️ between words to achieve balanced right-margin 🧮 justification.
CS458 at Clarkson University Spring 24