Tema · tlaplus

tlaplus

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

Repositorios

5

Estrellas totales

4928

Estrellas de media

986

Proporción

0,00%

Temas que aparecen con frecuencia junto a tlaplus en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con tlaplus.

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

#1
quint ↗@quint-coTypeScript
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
#2
Examples ↗@tlaplusTLA
Una colección de especificaciones de TLA⁺ de varias complejidades.
★ 1564+5Variación de estrellas de los últimos 7 días
#3
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
#4
apalache ↗@apalache-mcScala
APALACHE: verificador de modelos simbólicos para TLA+ y Quint
★ 596+2Variación de estrellas de los últimos 7 días
#5
BlockingQueue ↗@lemmyTLA
Tutorial "Weeks of debugging can save you hours of TLA+". Cada commit de git introduce un nuevo concepto; ¡consulta el historial de git!
★ 506+0Variación de estrellas de los últimos 7 días

← Volver a temas