formal-methods
Repositorios de código abierto monitorizados etiquetados con formal-methods, ordenados por estrellas.
Temas relacionados
Temas que aparecen con frecuencia junto a formal-methods en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con formal-methods.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1★ 9080+1Variación de estrellas de los últimos 7 días
- #2★ 3673+3Variación de estrellas de los últimos 7 días
- #3★ 1836+0Variación de estrellas de los últimos 7 días
- #4★ 1836+2Variación de estrellas de los últimos 7 días
- #5
Un lenguaje de especificación ejecutable con herramientas excelentes basado en la lógica temporal de acciones (TLA).
★ 1654+12Variación de estrellas de los últimos 7 días - #6★ 948+17Variación de estrellas de los últimos 7 días
- #7
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 - #8
CreuSAT: un solucionador SAT verificado formalmente escrito en Rust y verificado con Creusot.
★ 698+2Variación de estrellas de los últimos 7 días - #9
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 - #10★ 508+1Variación de estrellas de los últimos 7 días
