TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
For more information, visit http://lamport.azurewebsites.net/tla/tla.html
Contributing
Please read our contribution guide before you start working on your contribution. We also have a feature wishlist.
License
Copyright © 199?-2003 HP Corporation
Copyright © 2003-2020 Microsoft Corporation
Licensed under the MIT License