dafny

There are 2 repositories under dafny topic.

• namin / llm-verified-with-monte-carlo-tree-search

  LLM verified with Monte Carlo Tree Search

  aidafnyllmmonte-carlo-tree-searchcoqleansynthesis
  Language:Jupyter Notebook 221

• namin / dot

  formalization of the Dependent Object Types (DOT) calculus

  meta-theorytwelfplt-redexcoqdafnyoop
  154

• uwplse / Casper

  A compiler for automatically re-targeting sequential Java code to Apache Spark.

  sparkjavacompilerdafnyz3synthesis
  Language:Java 49

• codersguild / Software-Analysis-PAVT

  Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).

  dafnyverificationdynamic-taint-analysisz3-smt-solvercvc4uclid5boogiellvmcbmcz3pysudoku-solverhoare-logicanalysisuclidfuzzinghacktoberfesthacktoberfest2021
  Language:Boogie 37

• Mondego / dafny-synthesis

  Towards AI-Assisted Synthesis of Verified Dafny Methods

  dafnyprogram-synthesisprogram-verificationllms
  Language:Dafny 29

• mit-pdos / daisy-nfsd

  DaisyNFS is an NFS server verified using Dafny and Perennial.

  dafnyverification
  Language:Dafny 28

• namin / dafny-sandbox

  Dafny for Metatheory of Programming Languages

  dafnycoqmeta-theorybinders
  Language:Dafny 21

• DafnyVSCode / Dafny-VSCode

  Dafny 2 for Visual Studio Code (Legacy)

  dafnyvisual-studio-code
  Language:TypeScript 18

• arsalan0c / dafny-of-python

  A tool for deductive verification of Python programs based on Dafny

  pythondafnyverificationcompilerauto-activetranspilermypystatic
  Language:OCaml 11

• pl3onasm / Programming-fundamentals

  Imperative programming

  cexam-practiceexam-solutionsimperative-programmingtraining-materialsprogram-proofscorrectnessrecursionuniversity-of-groningendafnyprogramming-fundamentals
  Language:C 11

• sun-wendy / DafnyBench

  DafnyBench: A Benchmark for Formal Software Verification

  benchmarkdafnyformal-verificationlanguage-modelprogram-verification
  Language:Dafny 11

• bor0 / dafny-tutorial

  Exercises for the Dafny Tutorial

  dafnyexercisesformal-verification
  Language:PHP 10

• jorge-jbs / adt-verification-dafny

  Library of formally verified abstract data types in Dafny.

  dafnyformal-verification
  Language:Dafny 5

• franck44 / yul-dafny

  Yul semantics and verification in Dafny

  dafnyevmyul
  Language:Dafny 4

• mattulbrich / dive

  Dafny Interactive Verification Environment (DIVE)

  dafnyverificationjava
  Language:Java 4

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

  formal-verificationdafnyformal-specificationloop-invariantsweakest-preconditionslambda-calculuslambda-expressionschurch-thesisturing-completenessearley-algorithmearley-parsercyk-algorithm
  Language:Python 4

• tchajed / dafny-syntax-tutorial

  Short introduction to Dafny

  dafnytutorial
  Language:Dafny 4

• vladstejeroiu / Dafny-programs

  Examples of formal verifications written in Dafny.

  dafnyformal-verificationformal-specification
  Language:Dafny 4

• mbrown1413 / SymEx

  Abstract Proven Symbolic Execution Engine

  dafnysymbolic-execution-engineverification
  Language:C# 3

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

  dafnyinformation-flowinformation-security-and-assurance
  Language:C# 2

• Eggy115 / Dafny

  Dafny

  dafnydafny-examplesdafny-scriptsdafny-collectiondafny-langdafny-languagedafny-programs
  Language:Dafny 2

• ningit / vaed

  Verifying Algorithms and Data Structures in Dafny (TFG)

  formal-methodsdafnyalgorithmsdata-structures
  Language:C# 2
• AI2001_Category-Source_Code-SC-Dafny

  seanpm2001 / AI2001_Category-Source_Code-SC-Dafny

  🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Dafny category for AI2001, containing Dafny programming language datasets

  aiai-2001ai-2001-datasetai-2001-developmentai2001ai2001-datasetai2001-developmentartificial-intelligencedafnydafny-langdafny-languagedatasetgpl3gplv3mdr-languagermarkdown-languagesource-code-datasettxtdafny-sc-dataset
  Language:R 2
• Learn-Dafny

  seanpm2001 / Learn-Dafny

  A repository for showcasing my knowledge of the Dafny programming language, and continuing to learn the language.

  articledafnydfygpl3gplv3knowledgelearnmdseanpm2001seanpm2001-educationseanpm2001-learntxtdafny-collectiondafny-langdafny-languagelearn-dafnylearn-dafny-langlearn-dafny-language
  Language:Dafny 2
• SNU_2D_ProgrammingTools_IDE_Dafny

  seanpm2001 / SNU_2D_ProgrammingTools_IDE_Dafny

  The Dafny Programming language IDE submodule for SNU Programming Tools.

  dafnydafny-langdafny-languagegpl3gplv3idemdprogrammingsnusnu-2dsnu-2d-programming-toolssnu-2d-programmingtoolssnu-developmentsnu-programming-toolssnu2d-programmingtoolssnu2dprogrammingtoolssnuprogrammingtoolstxtweb-developmentweb-ide
  Language:Dafny 2

• zhuzilin / dafny-exercises

  some formal verification exercises using dafny.

  dafnyformal-verification
  Language:Dafny 2

• ArthurSudbrackIbarra / Trab1-Metodos-Formais

  Trabalho 1 de Métodos Formais.

  dafnyformal-methods
  Language:Dafny 1

• chthonic7 / solidity-to-dafny

  Verifying Solidity smart contracts via translation to Dafny

  dafny
  1

• demiourgoi / ROS_navfn_verification

  Maude integration and verification for ROS Nav 2

  ros2maudeformal-verificationdafny
  Language:Python 1

• juletx / MFDS

  Métodos Formales de Desarrollo de Software

  dafnyautomatic-verificationsoftware-developmentformal-verification
  Language:Dafny 1

• kumom / dafny-fatnode

  Verifying persistent binary search trees with Dafny

  dafnyformal-verification
  Language:Dafny 1

• POMXARK / django_websocket_graph

  djangodjango-rest-frameworkpythonpython3channelsdafnywebsocket
  Language:Python 1

• unikraft / lib-dafny

  Unikraft library for Dafny programming language.

  unikraftlibrarydafny
  Language:C++ 1

• billwonggg / dafny-exercise

  Dafny Exercises

  dafnyproblem-solving
  Language:Dafny

• ChasingTheDream369 / Space-Recog-PDF-Secure

  📝📏📄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.

  dafnydynamicprogrammingformalverificationpost-conditionpythonunit-testinglatex-space-managementoptimal-number-of-spacespre-conditionspace-fitting-algorithmspace-recognition
  Language:Python

• paytonshafer / CS458-Formal-Methods-for-Program-Verification

  CS458 at Clarkson University Spring 24

  dafnynusmvz3
  Language:SMT