3 ms·Introduction to TLA+ model checking on the command line3 points by fanf2 10mo agognabgib 10mo ago(2019) At the time (176 points, 44 comments) https://news.ycombinator.com/item?id=18937214 https://news.ycombinator.com/item?id=18937214