Introduction to TLA+ Model Checking in the Command Line

Article URL: https://medium.com/@bellmar/introduction-to-tla-model-checking-in-the-command-line-c6871700a6a2

Comments URL: https://news.ycombinator.com/item?id=18937214

Points: 49

# Comments: 9

from Hacker News: Front Page http://bit.ly/2TXIk8C
via