Sujet · verification

verification

Dépôts open source suivis étiquetés verification, triés par étoiles.

40 dépôts

#31
ed25519-dalek ↗@dalek-cryptography
ARCHIVÉ/DÉPLACÉ : veuillez consulter le nouvel emplacement
★ 704+0Évolution des étoiles sur les 7 derniers jours
#32
CreuSAT ↗@sarskoRust
CreuSAT - Un solveur SAT formellement vérifié, écrit en Rust et vérifié avec Creusot.
★ 698+2Évolution des étoiles sur les 7 derniers jours
#33
Cosette ↗@uwdbLean
Cosette est un solveur SQL automatisé.
★ 686+0Évolution des étoiles sur les 7 derniers jours
#34
pysmt ↗@pysmtPython
pySMT : Une bibliothèque pour la manipulation et la résolution de formules SMT
★ 638+0Évolution des étoiles sur les 7 derniers jours
#35
awesome-open-hardware-verification ↗@ben-marshall
Une liste d'outils et de frameworks de vérification matérielle libres et open source
★ 622+1Évolution des étoiles sur les 7 derniers jours
#36
apalache ↗@apalache-mcScala
APALACHE : vérificateur de modèle symbolique pour TLA+ et Quint
★ 596+3Évolution des étoiles sur les 7 derniers jours
#37
stp ↗@stpC++
Simple Theorem Prover, un solveur SMT efficace pour les vecteurs de bits, les nombres à virgule flottante et les tableaux.
★ 588+1Évolution des étoiles sur les 7 derniers jours
#38
witness ↗@in-totoGo
Witness est un framework enfichable pour la gestion des risques de la chaîne d'approvisionnement logicielle. Il automatise, normalise et vérifie la provenance des artefacts logiciels.
★ 546+0Évolution des étoiles sur les 7 derniers jours
#39
karamel ↗@FStarLangOCaml
KaRaMeL est un outil permettant d'extraire des programmes F* de bas niveau vers du code C lisible.
★ 518+0Évolution des étoiles sur les 7 derniers jours
#40
VST ↗@PrincetonUniversityRocq Prover
Chaîne d'outils logicielle vérifiée.
★ 508+1Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets