3 ms·

> formal specification Do you mean a written spec, or a proper formal specification? https://en.wikipedia.org/wiki/Formal_specification https://en.wikipedia.o

> formal specification Do you mean a written spec, or a proper formal specification? https://en.wikipedia.org/wiki/Formal_specification https://en.wikipedia.org/wiki/Formal_specification

xfer 6y ago
For concurrency related specs i was alluding to spin/TLA+.
- MaxBarraclough 6y ago
  Great, thanks for clarifying.