Flathub Logo

TLA+ Toolbox

Microsoft Corporation
unverified
安装

TLA+ Toolbox is an IDE (integrated development environment) for the TLA+ tools

TLA+ is a high-level language for modeling programs and systems. It is useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.

The TLA Toolbox is an IDE (integrated development environment) for the TLA+ tools. 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
  • View the pretty-printed versions of your modules
  • Run the TLC model checker. The Toolbox allows you to explorer an error trace produced by TLC—for example, by evaluating arbitrary formulas at each step in the trace
  • Run the TLA+ proof system

在 1.7.1 版本中的更改

大约 3 年前
(构建 10 个月前)
  • 未提供更改日志
  • 社区建成

    该应用由志愿者社区公开开发,并根据 MIT License 发布。
    参与进来
安装后大小~296.63 MiB
下载大小171.81 MiB
可用架构x86_64
安装量3,151
标签: