TLA+ Toolbox 1.5.2 можно было скачать с сайта разработчика при последней проверке. Мы не можем гарантировать бесплатную загрузку этой программы. Эта бесплатная программа для Mac OS X принадлежит Leslie Lamport. Программа принадлежит к категории Разработчикам, а точнее к подкатегории IDE.
От разработчика:
The TLA Toolbox is an IDE (integrated development environment) for the TLA tools. You can use it to:
- Create and edit your specs, with the locations of parsing errors marked in the modules.
- Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code.
Мы предлагаем оценить другие macOS программы, такие как Toolbox for Keynote, Toolbox for Pages или Electroacoustics Toolbox, которые часто используются вместе с TLA+ Toolbox.