Go to https://chrismcmstone.github.io/wifi-learner/ for more details.
Note, this is the interface element for learning WiFi state machines. The backend tool (which WiFi-Learner communicates with) can be found here: https://github.com/ChrisMcMStone/statelearner.