Difference between revisions of "Knowledge/TLA+ Tools"
Jump to navigation
Jump to search
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
* [https://course.ccs.neu.edu/cs3650/parent/tla+/notes-on-using-tla+.txt course note] | * [https://course.ccs.neu.edu/cs3650/parent/tla+/notes-on-using-tla+.txt course note] on how to install official [https://github.com/tlaplus/tlaplus/releases/ tlaplus] | ||
* [https://medium.com/software-safety/introduction-to-tla-model-checking-in-the-command-line-c6871700a6a2 Blog/TLA+] | * [https://medium.com/software-safety/introduction-to-tla-model-checking-in-the-command-line-c6871700a6a2 Blog/TLA+] | ||
* [https://lamport.azurewebsites.net/tla/current-tools.pdf current tools] (2021.8.5) | |||
* Useful information comes from google search ''tla command line'' | |||
* [https://tla.msr-inria.inria.fr/tlatoolbox/doc/model/distributed-mode.html running in distributed mode] | |||
Latest revision as of 13:45, 25 August 2021
- course note on how to install official tlaplus
- Blog/TLA+
- current tools (2021.8.5)
- Useful information comes from google search tla command line
- running in distributed mode