#verification (30 Repositories)
Ranked open-source repositories tagged with #verification, scored by pull request acceptance likelihood and maintainer engagement velocity.
65.3%
98.2h
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.
vehicle-lang/vehicle
A toolkit for enforcing logical specifications on neural networks
munich-quantum-toolkit/qcec
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
model-checking/kani
Kani Rust Verifier
viperproject/gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
aallan/vera
Vera: a programming language designed for LLMs to write
openhwgroup/core-v-verif
Functional verification project for the CORE-V family of RISC-V cores.
viperproject/silver
Definition of the Viper intermediate verification language.
lukaszcz/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
typetools/checker-framework
Pluggable type-checking for Java
cocotb/cocotb
cocotb: Python-based chip (RTL) verification
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
engboris/stellogen
An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
viperproject/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
LeventErkok/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
utwente-fmt/vercors
The VerCors verification toolset for verifying parallel and concurrent software
aman00323/email-checker
Provides email verification on the go.
FStarLang/karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
tulip-control/tulip-control
Temporal Logic Planning toolbox
intel/rohd
The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
trufflesecurity/trufflehog
Find, verify, and analyze leaked credentials
camfort/camfort
Light-weight verification and transformation tools for Fortran
verse-lab/veil
A verifier for automated and interactive proofs about transition systems.
viperproject/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
Zilliqa/scilla
Scilla - A Smart Contract Intermediate Level Language
chiselverify/chiselverify
A dynamic verification library for Chisel.
sosy-lab/cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)