Link: on TLA+ command-line support Posted byolleolleolle 2019-01-182019-01-18 Leave a comment on Link: on TLA+ command-line support In which I make a small, very humble contribution to the TLA+ community by publishing my notes on things I had to learn the hard way: Introduction to TLA+ Model Checking in the Command Line https://t.co/vMxOfUkc58— Marianne (@bellmar) January 18, 2019 This was a pointer to whet your appetite for more TLA+. It also mentions Hillel Wayne’s book on using the system.Now following @bellmar! Published by olleolleolle Olle is a programmer, enjoying sunny Malmö in Sweden. View more posts