TLA+ Tools

A toolkit for TLA+ specification language and the PlusCal algorithm language, together with their assoc...
Download

TLA+ Tools Ranking & Summary

Advertisement

  • Rating:
  • License:
  • Freeware
  • Publisher Name:
  • Microsoft Research
  • File Size:
  • 3.3 MB

TLA+ Tools Tags


TLA+ Tools Description

TLA+ Tools is a useful collection of utilities and components that includes a program for typesetting TLA+ specifications, a simulator and model checker addressing a subclass of "executable" TLA+ specifications. Inside the TLA+ Tools package you can also find a PlusCal to TLA+ translation utility, a syntax checker for TLA+ specifications as well as a parser.


TLA+ Tools Related Software

About SoftwareSea