TLA+ Toolbox

The TLA+ Toolbox is an IDE for TLA+.