A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...
The Dafny Programming language IDE submodule for SNU Programming Tools.
🧠️🖥️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.
Dafny
An autonomous CI/CD pipeline using LLMs and SMT Solvers (Dafny) for Formal Verification of mission-critical software.
Concepts and state-of-the-art techniques in quality assessment for software engineering; quality attributes; formal specifications and their analysis; testing, verification, and validation.
mech-uvl is a Dafny formalization and C# tooling project for the Universal Variability Language (UVL)
AI-driven development framework with adaptive formal methods - Build from PoC to mission-critical systems through AI chat dialogue
As a student in the Master's program in Software and Data Engineering, I am currently enrolled in a Software Analysis course. In this repository, I will share the work we did and the technologies we used in the course.
Research paper from HATRA 2022 on the formal verification of Copilot generated code
To associate your repository with the dafny-language topic, visit your repo's landing page and select "manage topics."