Hacker News new | ask | show | jobs
by 7532yahoogmail 2192 days ago
Using TLA, spin and others will help compute actual numbers to see reachable states etc