hengxin / tlaplus-at-nju-disalgLinks
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
☆12Updated 3 years ago
Alternatives and similar repositories for tlaplus-at-nju-disalg
Users that are interested in tlaplus-at-nju-disalg are comparing it to the libraries listed below
Sorting:
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated last year
- ☆21Updated 3 years ago
- In Spec We Trust