3 ms·
Sure if I want to just toy around for fun. Those are cool, but a production system is infinitely more complex.
by moomoo11 1y ago
Sure if I want to just toy around for fun.
Those are cool, but a production system is infinitely more complex.
- ghuntley 1y agoWhat do you define as a production system? Are you aware that one can generate TLA+ specifications, then code generate from these specifications and assert that the implementation matches the TLA+ spec?