TLA Toolbox теперь доступен и под GNU/Linux
Одно из исследовательских подразделений компании Microsoft, Microsoft Research, выпустило Linux-версию интегрированной среды разработки для создания и проверки спецификаций языка TLA (Temporal Logic of Actions). Спецификации базируются на элементах темпоральной логики.
