3 ms·
Personally I am curious how these features like virtual threads are tested when developed.
by chucke1992 3y ago
Personally I am curious how these features like virtual threads are tested when developed.
- kaba0 3y agoThe 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.