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