dafny

Verification tool

A verification-aware programming language that helps developers ensure their code meets specifications through constant verification and feedback

Dafny is a verification-aware programming language

GitHub

3k stars
81 watching
263 forks
Language: C#
last commit: almost 2 years ago
programming-languageverification

Screenshot of dafny-lang/dafny website

dafny.org

Related projects:

RepositoryDescriptionStars
dapperlib/dapperAn object mapper for .Net that simplifies data access to databases using ADO.NET connections.17,629
verifytests/diffengineManages the launch and cleanup of diff tools for testing and debugging.196
yosyshq/sbyA front-end driver program for Yosys-based formal hardware verification flows413
smithy-lang/smithy-dafnyTools for generating Dafny APIs and client code for AWS services and libraries in multiple languages10
joxeankoret/diaphoraA diffing tool for reverse engineering and analysis of binary files3,686
verifytests/verify.diffplexA tool for comparing and verifying the differences between two text files using a diffplex algorithm.10
facebook/pyre-checkType-checking software for Python code6,885
dapphub/dapptoolsA suite of tools for building, testing, and deploying Ethereum smart contracts and related tools2,102
dapphub/k-dssFormal specification and verification of a specific smart contract function.45
davidfritzsche/pytest-mypy-testingA tool to verify mypy's static type analysis output31
dotnet/roslyn-analyzersAnalyzes .NET code for style, quality and maintainability issues1,598
dotnet/roslyn-sdkProvides APIs and tools to analyze and inspect .NET code using the Roslyn compiler platform517
tofgarion/spark-by-exampleAn adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods154
stepchowfun/proofsA personal repository of formally verified mathematics using the Coq proof assistant292
formal-land/coq-of-pythonFormal verification of Python code using Coq30