Tema · formal-verification

formal-verification

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

Repositorios

Estrellas totales

16.360

Estrellas de media

1258

Proporción

0,00%

Temas que aparecen con frecuencia junto a formal-verification en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con formal-verification.

No hay repositorios nuevos con este tema en los últimos 90 días.

#1
P ↗@p-orgC#
El lenguaje de programación P.
★ 3673+3Variación de estrellas de los últimos 7 días
#2
hacl-star ↗@hacl-starF*
HACL*, una biblioteca criptográfica verificada formalmente escrita en F*
★ 1836+0Variación de estrellas de los últimos 7 días
#3
creusot ↗@creusot-rsRust
Creusot te ayuda a demostrar que tu código Rust es correcto.
★ 1836+2Variación de estrellas de los últimos 7 días
#4
prusti-dev ↗@viperprojectRust
Un verificador estático para Rust, basado en la infraestructura de verificación Viper
★ 1809+2Variación de estrellas de los últimos 7 días
#5
cakeml ↗@CakeMLStandard ML
CakeML: Una implementación verificada de ML
★ 1190+2Variación de estrellas de los últimos 7 días
#6
rocq-of-rust ↗@formal-landRocq Prover
Herramienta de verificación formal para Rust: comprueba el 100% de los casos de ejecución de tus programas para crear aplicaciones más seguras.
★ 1161+0Variación de estrellas de los últimos 7 días
#7
aeneas ↗@AeneasVerifOCaml
Una cadena de herramientas de verificación para programas en Rust.
★ 946+17Variación de estrellas de los últimos 7 días
#8
magmide ↗@magmideRocq Prover
Un lenguaje de prueba con tipos dependientes diseñado para hacer posible el código bare metal demostrablemente correcto para ingenieros de software.
★ 835+0Variación de estrellas de los últimos 7 días
#9
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
#10
emilia-protocol ↗@emiliaprotocolTypeScript
Firewall de consecuencias para acciones de máquinas. EMILIA Gate verifica la autoridad exacta antes de realizar cambios en dinero, código, permisos, infraestructura o estados regulados; el protocolo abierto permite que la evidencia sea verificable de forma independiente.
★ 649-29Variación de estrellas de los últimos 7 días
#11
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
#12
practical-fm ↗@ligurio
Una lista cuidadosamente seleccionada de empresas que utilizan métodos formales de verificación en la industria.
★ 610+1Variación de estrellas de los últimos 7 días
#13
VST ↗@PrincetonUniversityRocq Prover
Cadena de herramientas de software verificado
★ 508+1Variación de estrellas de los últimos 7 días

← Volver a temas

Temas relacionados

Emergentes recientes