Описание тега tlc

TLC - это средство проверки моделей для спецификаций, написанных на TLA+. Исходный код TLC можно найти в этом репозитории GitHub.