1 mirror · Windows · Free
Pick from 1 verified mirror below. All deliver the same 109 MB file under the MIT License license.
1 available
About this software
TLA Toolbox : Use this powerful IDE platform in order to handle the TLC model checker, create, adjust and save custom specifications or perform PlusCal translations
Read the full TLA Toolbox review and feature list →
Requirements
Windows 10 64 bit / Windows 8 64 bit / Windows 7 64 bit
Tips
If a mirror is slow or temporarily offline, just pick another from the list above — every mirror serves the identical 109 MBfile. Each link launches a brief 5-second redirect page so we can track which mirrors are healthiest.
At a glance