プログラム www.techjava.de/projects/etla-plugin/

eTLA 無料

TLA+ Eclipse IDE プラグイン。Eclipse IDEでシステムを指定するための形式定義言語「アクションの時間的論理」の統合