Oddly, almost noone has tried providing actual state machines where you have to prove you've figured out what the state transitions are.
Oddly, almost noone has tried providing actual state machines where you have to prove you've figured out what the state transitions are.