Calvin-L / tlaplus

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

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

License:MIT License


Languages

Language:Java 59.3%Language:TLA 28.1%Language:HTML 11.6%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%