Tarafından Programlar www.techjava.de/projects/etla-plugin/

eTLA Ücret -siz

TLA+ Eclipse IDE eklentisi. Eclipse IDE'de sistemlerin belirtilmesi için resmi tanım dili 'Eylemlerin Zamansal Mantığı' entegrasyonu