Propriétaire · tlaplus

tlaplus

Dépôts open source suivis de tlaplus, triés par étoiles.

2 dépôts

#1
tlaplus ↗@tlaplusJava
TLC est un vérificateur de modèles pour les spécifications écrites en TLA+. La TLA+Toolbox est un IDE pour TLA+.
★ 3 026+7Évolution des étoiles sur les 7 derniers jours
#2
Examples ↗@tlaplusTLA
Une collection de spécifications TLA⁺ de complexités variées.
★ 1 564+5Évolution des étoiles sur les 7 derniers jours