6 ms·
this looks pretty sweet. tla+ looks scary and mathy at first, but it's really a pretty simple concept: define some state machines, explore the state space, see
by sterlind 2y ago
this looks pretty sweet. tla+ looks scary and mathy at first, but it's really a pretty simple concept: define some state machines, explore the state space, see if you run into trouble. with this you get a nice classic sequence diagram to show how things went down.
- westurner 2y agoTLAplus: https://en.wikipedia.org/wiki/TLA%2B https://en.wikipedia.org/wiki/TLA%2B https://github.com/tlaplus https://github.com/tlaplus A learnxinyminutes for TLA+ might be helpful: https://learnxinyminutes.com/ https://learnxinyminutes.com/ awesome-tlaplus > Books, (University) courses teaching (with) TLA+: https://github.com/tlaplus/awesome-tlaplus#books https://github.com/tlaplus/awesome-tlaplus#books