2 ms·
Is TLA+ only ever used as a tool by developers or do you have "formal methods" engineers who are only involved with that step of the process?
by exdsq 7y ago
Is TLA+ only ever used as a tool by developers or do you have "formal methods" engineers who are only involved with that step of the process?