Thema · verification

verification

Erfasste Open-Source-Repos mit dem Tag verification, sortiert nach Sternen.

40 Repos

#31
ed25519-dalek ↗@dalek-cryptography
ARCHIVIERT/VERSCHOBEN: Bitte besuchen Sie den neuen Standort
★ 704+0Sterne-Änderung der letzten 7 Tage
#32
CreuSAT ↗@sarskoRust
CreuSAT – Ein formal verifizierter SAT-Solver, geschrieben in Rust und verifiziert mit Creusot.
★ 698+2Sterne-Änderung der letzten 7 Tage
#33
Cosette ↗@uwdbLean
Cosette ist ein automatisierter SQL-Solver.
★ 686+0Sterne-Änderung der letzten 7 Tage
#34
pysmt ↗@pysmtPython
pySMT: Eine Bibliothek zur Manipulation und Lösung von SMT-Formeln
★ 638+0Sterne-Änderung der letzten 7 Tage
#35
awesome-open-hardware-verification ↗@ben-marshall
Eine Liste freier und Open-Source-Hardware-Verifikationswerkzeuge und -Frameworks
★ 622+1Sterne-Änderung der letzten 7 Tage
#36
apalache ↗@apalache-mcScala
APALACHE: Symbolischer Modellprüfer für TLA+ und Quint
★ 596+2Sterne-Änderung der letzten 7 Tage
#37
stp ↗@stpC++
Simple Theorem Prover, ein effizienter SMT-Solver für Bitvektoren, Gleitkommazahlen und Arrays.
★ 588+1Sterne-Änderung der letzten 7 Tage
#38
witness ↗@in-totoGo
Witness ist ein erweiterbares Framework für das Risikomanagement in der Software-Lieferkette. Es automatisiert, normalisiert und verifiziert die Herkunft von Software-Artefakten.
★ 546+0Sterne-Änderung der letzten 7 Tage
#39
karamel ↗@FStarLangOCaml
KaRaMeL ist ein Tool zur Extraktion von Low-Level F*-Programmen in lesbaren C-Code.
★ 518+0Sterne-Änderung der letzten 7 Tage
#40
VST ↗@PrincetonUniversityRocq Prover
Verified Software Toolchain
★ 508+1Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen