4 ms·
You would need to include irrelevant details. TLA+ is an actual declarative language, so it's not executable, but it can be model-checked.
by aeneasmackenzie 8y ago
You would need to include irrelevant details. TLA+ is an actual declarative language, so it's not executable, but it can be model-checked.