Компания Microsoft выпустила версию TLA Toolbox для Linux

Исследовательское подразделение Microsoft Research выпустило ¹⁴ Linux версию интегрированной среды разработки для написания и проверки TLA+ (Temporal Logic of Actions)

спецификаций, базирующихся на элементах темпоральной логики.