Tlaplus Save
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Project README
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 (c) 199?-2003 HP Corporation
Copyright (c) 2003-2020 Microsoft Corporation
Licensed under the MIT License
Open Source Agenda is not affiliated with "Tlaplus" Project. README Source: tlaplus/tlaplus
Stars
2,196
Open Issues
254
Last Commit
2 weeks ago
Repository
License
Open Source Agenda Badge
