3 ms·Using TLA, spin and others will help compute actual numbers to see reachable states etcby 7532yahoogmail 6y agoUsing TLA, spin and others will help compute actual numbers to see reachable states etc