3 ms·
The model has been extensively tested in TLA+, which can reason about all possible timing combinations, among other things.
by kaba0 3y ago
The model has been extensively tested in TLA+, which can reason about all possible timing combinations, among other things.
- chucke1992 3y agoOh. Interesting. Never heard of it.