marcogario / tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

https://lamport.azurewebsites.net/tla/tla.html

Geek Repo

Github PK Tool

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

Licensed under the MIT License

About

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

https://lamport.azurewebsites.net/tla/tla.html

MIT License

Languages

Language:Java 58.8%Language:TLA 28.4%Language:HTML 11.8%Language:TeX 0.6%Language:Batchfile 0.1%Language:AspectJ 0.1%Language:CSS 0.1%Language:Groovy 0.1%Language:Shell 0.0%Language:JSONiq 0.0%