TLA Toolbox

An integrated development environment for writing and checking TLA+ specifications
Download

TLA Toolbox Ranking & Summary

Advertisement

  • Rating:
  • License:
  • Freeware
  • Publisher Name:
  • Microsoft Research
  • Operating Systems:
  • Windows XP / Vista / 7
  • File Size:
  • 48.6 MB

TLA Toolbox Tags


TLA Toolbox Description

TLA+ is a specification language that is designed to help in the creation of high-level specifications for both distributed and concurrent systems. TLA Toolbox is the IDE that was designed in order to allow you to use the TLC model checker and TLAPS as well as the TLA+ proof system to create and verify TLA+ specifications.


TLA Toolbox Related Software

About SoftwareSea