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
3k stars
81 watching
263 forks
Language: C#
last commit: 2 months ago programming-languageverification
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 |