Topic · verification

verification

Tracked open-source repos tagged verification, sorted by stars.

40 repos

#31
ed25519-dalek ↗@dalek-cryptography
ARCHIVED/MOVED: please visit the new location
★ 704+0Star change over the last 7 days
#32
CreuSAT ↗@sarskoRust
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
★ 698+2Star change over the last 7 days
#33
Cosette ↗@uwdbLean
Cosette is an automated SQL solver.
★ 686+0Star change over the last 7 days
#34
pysmt ↗@pysmtPython
pySMT: A library for SMT formulae manipulation and solving
★ 638+0Star change over the last 7 days
#35
awesome-open-hardware-verification ↗@ben-marshall
A List of Free and Open Source Hardware Verification Tools and Frameworks
★ 622+1Star change over the last 7 days
#36
apalache ↗@apalache-mcScala
APALACHE: symbolic model checker for TLA+ and Quint
★ 596+2Star change over the last 7 days
#37
stp ↗@stpC++
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
★ 588+1Star change over the last 7 days
#38
witness ↗@in-totoGo
Witness is a pluggable framework for software supply chain risk management. It automates, normalizes, and verifies software artifact provenance.
★ 546+0Star change over the last 7 days
#39
karamel ↗@FStarLangOCaml
KaRaMeL is a tool for extracting low-level F* programs to readable C code
★ 518+0Star change over the last 7 days
#40
VST ↗@PrincetonUniversityRocq Prover
Verified Software Toolchain
★ 508+1Star change over the last 7 days