#verification (30 Repositories)
Ranked open-source repositories tagged with #verification, scored by pull request acceptance likelihood and maintainer engagement velocity.
74.7%
23.7h
30 repositories tagged #verification
stp/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
creusot-rs/creusot
Creusot helps you prove your Rust code is correct.
pysmt/pysmt
pySMT: A library for SMT formulae manipulation and solving
model-checking/kani
A model checker for Rust programs.
AfterShip/email-verifier
:white_check_mark: A Go library for email verification without sending any emails.
vehicle-lang/vehicle
A toolkit for enforcing logical specifications on neural networks
aallan/vera
Vera: a programming language designed for LLMs to write
tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
viperproject/silver
Definition of the Viper intermediate verification language.
argotorg/sourcify
Source code verification service for Ethereum smart contracts
viperproject/gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
munich-quantum-toolkit/qcec
MQT QCEC - A Tool for Quantum Circuit Equivalence Checking
typetools/checker-framework
Pluggable type-checking for Java
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
viperproject/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
seahorn/sea-dsa
Context, field, and array-sensitive heap analysis for LLVM based on DSA.
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
cocotb/cocotb
cocotb: Python-based chip (RTL) verification
trufflesecurity/trufflehog
Find, verify, and analyze leaked credentials
intel/rohd
The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.
mockk/mockk
mocking library for Kotlin
anvil-verifier/anvil
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
jeremykenedy/laravel2step
Laravel 2-Step verification is a package to add 2-Step user authentication to any Laravel project easily. It is configurable and customizable. It uses notifications to send the user an email with a 4-digit verification code. Laravel 2-Step Authentication Verification for Laravel. Can be used in out the box with Laravel's authentication scaffolding or integrated into other projects.
aman00323/email-checker
Provides email verification on the go.
codenotary/immudb
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
smackers/smack
SMACK Software Verifier and Verification Toolchain
dafny-lang/dafny
Dafny is a verification-aware programming language
in-toto/witness
Witness is a pluggable framework for software supply chain risk management. It automates, normalizes, and verifies software artifact provenance.
utwente-fmt/vercors
The VerCors verification toolset for verifying parallel and concurrent software