tlaplus/tlaplusJava
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
(2 153 stars) (179 forks) (33 issues indexées) (32 good first issues ouvertes)
Dépôts
Newsletter quotidienne
Recevez de nouvelles issues Easy par e-mail.
Abonnez-vous à GoodFirstIssue Daily pour recevoir de nouvelles issues Easy prêtes pour un travail open source adapté aux débutants.