Calvin-L / 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