3 ms·
What 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
by ghuntley 1y ago
What 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?