Hacker News new | ask | show | jobs
by chucke1992 885 days ago
Personally I am curious how these features like virtual threads are tested when developed.
1 comments
kaba0 885 days ago
The model has been extensively tested in TLA+, which can reason about all possible timing combinations, among other things.
link
chucke1992 884 days ago
Oh. Interesting. Never heard of it.
link