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


Рубрика: Новости Linux
Метки: |
Просмотров: 2503

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

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