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: about 1 month ago

programming-languageverification

dafny.org

Related projects:

Repository	Description	Stars
dapperlib/dapper	An object mapper for .Net that simplifies data access to databases using ADO.NET connections.	17,629
verifytests/diffengine	Manages the launch and cleanup of diff tools for testing and debugging.	196
yosyshq/sby	A front-end driver program for Yosys-based formal hardware verification flows	413
smithy-lang/smithy-dafny	Tools for generating Dafny APIs and client code for AWS services and libraries in multiple languages	10
joxeankoret/diaphora	A diffing tool for reverse engineering and analysis of binary files	3,686
verifytests/verify.diffplex	A tool for comparing and verifying the differences between two text files using a diffplex algorithm.	10
facebook/pyre-check	Type-checking software for Python code	6,885
dapphub/dapptools	A suite of tools for building, testing, and deploying Ethereum smart contracts and related tools	2,102
dapphub/k-dss	Formal specification and verification of a specific smart contract function.	45
davidfritzsche/pytest-mypy-testing	A tool to verify mypy's static type analysis output	31
dotnet/roslyn-analyzers	Analyzes .NET code for style, quality and maintainability issues	1,598
dotnet/roslyn-sdk	Provides APIs and tools to analyze and inspect .NET code using the Roslyn compiler platform	517
tofgarion/spark-by-example	An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods	154
stepchowfun/proofs	A personal repository of formally verified mathematics using the Coq proof assistant	292
formal-land/coq-of-python	Formal verification of Python code using Coq	30