Программы www.techjava.de/projects/etla-plugin/

eTLA Бесплатный

Плагин TLA' Eclipse IDE. Интеграция формального языка определения 'Temporal Logic of Actions' для определения систем в Eclipse IDE