tlaplus - ligurio/sqa-wiki GitHub Wiki

Learning

• https://lamport.azurewebsites.net/tla/learning.html
• Learn TLA+
• https://mbt.informal.systems/docs/tla_basics_tutorials/tutorial.html
• Tutorial on modeling with TLA+, https://github.com/jskri/modeling-with-tla