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