dafny
Here are 58 public repositories matching this topic...
Imperative programming
-
Updated
Jul 25, 2024 - C
DafnyBench: A Benchmark for Formal Software Verification
-
Updated
Jun 13, 2024 - Dafny
Towards AI-Assisted Synthesis of Verified Dafny Methods
-
Updated
Jun 9, 2024 - Dafny
Library of formally verified abstract data types in Dafny.
-
Updated
Apr 24, 2024 - Dafny
DaisyNFS is an NFS server verified using Dafny and Perennial.
-
Updated
Jan 12, 2024 - Dafny
Dafny for Metatheory of Programming Languages
-
Updated
Oct 22, 2023 - Dafny
📝📏📄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.
-
Updated
Sep 1, 2023 - Python
Lógica de Programación con KeY y Dafny
-
Updated
Aug 14, 2023 - Java
Verifying persistent binary search trees with Dafny
-
Updated
Jul 4, 2023 - Dafny
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Dafny category for AI2001, containing Dafny programming language datasets
-
Updated
May 21, 2023 - R
Dafny
-
Updated
Apr 12, 2023 - Dafny
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
-
Updated
Apr 9, 2023 - Boogie
Improve this page
Add a description, image, and links to the dafny topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dafny topic, visit your repo's landing page and select "manage topics."