TLA+ Tools
The TLA+ tool kit contains a) a parser and syntax checker for TLA+ specifications; b) a model checker and simulator for a subclass of "executable" TLA+ specifications; c) a program for typesetting TLA+ specifications; and d) a +Cal to TLA+ translator.
|
Download details
|
Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license. |