Hacker News new | ask | show | jobs
by kaba0 885 days ago
The model has been extensively tested in TLA+, which can reason about all possible timing combinations, among other things.
1 comments
chucke1992 885 days ago
Oh. Interesting. Never heard of it.
link