tlaplus / tlaplus

TLC is a 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

algorithms high-performance java mit-license model-checking specifications tla verification

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 a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

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

algorithms high-performance java mit-license model-checking specifications tla verification

MIT License

Languages

Language:Java 51.4%Language:HTML 24.3%Language:TLA 23.5%Language:TeX 0.5%Language:Batchfile 0.1%Language:AspectJ 0.1%Language:CSS 0.0%Language:Groovy 0.0%Language:Shell 0.0%Language:R 0.0%Language:jq 0.0%