Flathub Logo

TLA+ Toolbox

開發者為 Microsoft Corporation
未驗證
安裝

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 年前
(建構於 大约 1 年前)
  • 未提供變更日誌
  • 社群建構

    此應用程式由國際性的志願者社群以開放的方式開發,並以 MIT License 釋出。
    參與其中
安裝大小~296.63 MiB
下載大小171.81 MiB
可用的架構x86_64
安裝數3,494
標籤: