> different engineers found TLA+ or PlusCal easier to learn
That continues to be my experience. It varies both by engineer, and (as you point out) domain. Also, as I said in a sibling comment, it’s also important to think about what people want to read, because models are extremely useful formal documentation of protocols and interactions.
Source: I’m one of the authors of that Amazon paper.
That continues to be my experience. It varies both by engineer, and (as you point out) domain. Also, as I said in a sibling comment, it’s also important to think about what people want to read, because models are extremely useful formal documentation of protocols and interactions.
Source: I’m one of the authors of that Amazon paper.