FSMs (and HSMs, the hierarchical version) are very useful for UI design, I am afraid the point that the article is trying to make: > A simpler approach would b

FSMs (and HSMs, the hierarchical version) are very useful for UI design, I am afraid the point that the article is trying to make: > A simpler approach would be to have a single variable for state, and only allows switching between well known states! Was not reflected in the code, since it's possible to transition directly from "error" to "success" without going through "submitted". Which makes me wonder: Does anyone know whether there's existing art for proving UIs using something like TLA+? Sounds like in interesting match, if your UI is following a FSM pattern.