TLA Toolbox: Linux 64-bit

Language:
English
An integrated development environment for writing and checking TLA+ specifications. Last published: February 28, 2013.