Propietario · tlaplus

tlaplus

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

2 repositorios

#1
tlaplus ↗@tlaplusJava
TLC es un verificador de modelos para especificaciones escritas en TLA+. TLA+ Toolbox es un IDE para TLA+.
★ 3026+7Variació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