Leslie Lamport

Free
An IDE (integrated development environment) for the TLA+ tools.