Tema · verification

verification

Repositorios de código abierto monitorizados etiquetados con verification, ordenados por estrellas.

40 repositorios

#31
ed25519-dalek ↗@dalek-cryptography
ARCHIVADO/MOVIDO: por favor, visite la nueva ubicación.
★ 704+0Variación de estrellas de los últimos 7 días
#32
CreuSAT ↗@sarskoRust
CreuSAT: un solucionador SAT verificado formalmente escrito en Rust y verificado con Creusot.
★ 698+2Variación de estrellas de los últimos 7 días
#33
Cosette ↗@uwdbLean
Cosette es un solucionador automático de SQL.
★ 686+0Variación de estrellas de los últimos 7 días
#34
pysmt ↗@pysmtPython
pySMT: Una biblioteca para la manipulación y resolución de fórmulas SMT.
★ 638+0Variación de estrellas de los últimos 7 días
#35
awesome-open-hardware-verification ↗@ben-marshall
Una lista de herramientas y frameworks de verificación de hardware de código abierto y gratuitos
★ 622+1Variación de estrellas de los últimos 7 días
#36
apalache ↗@apalache-mcScala
APALACHE: verificador de modelos simbólicos para TLA+ y Quint
★ 596+3Variación de estrellas de los últimos 7 días
#37
stp ↗@stpC++
Simple Theorem Prover, un solver SMT eficiente para vectores de bits, punto flotante y arreglos.
★ 588+1Variación de estrellas de los últimos 7 días
#38
witness ↗@in-totoGo
Witness es un framework conectable para la gestión de riesgos en la cadena de suministro de software. Automatiza, normaliza y verifica la procedencia de los artefactos de software.
★ 546+0Variación de estrellas de los últimos 7 días
#39
karamel ↗@FStarLangOCaml
KaRaMeL es una herramienta para extraer programas F* de bajo nivel a código C legible
★ 518+0Variación de estrellas de los últimos 7 días
#40
VST ↗@PrincetonUniversityRocq Prover
Cadena de herramientas de software verificado
★ 508+1Variación de estrellas de los últimos 7 días

← Volver a temas