TLA Toolbox

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

Суббота, 23 января 2010 г.
Рубрика: Новости Linux
Метки: Linux | TLA Toolbox
Просмотров: 3022

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