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:
Ce package est fourni par la communauté. TLA+ Foundation n'est pas affilié à ce package, ne le vérifie pas, et ne fournit pas d'assistance aux personnes qui l'utilisent.
