TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
http://research.microsoft.com/en-us/um/people/lamport/tla/tlc.html
For more information, visit https://research.microsoft.com/en-us/um/people/lamport/tla/tla.html
Please read our contribution guide before you start working on your contribution. We also have a feature wishlist.
Copyright (c) 199?-2003 HP Corporation
Copyright (c) 2003-2017 Microsoft Corporation
Licensed under the MIT License
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
http://research.microsoft.com/en-us/um/people/lamport/tla/tlc.html
MIT License
