Visualize and verify workflow state transitions using model checking. Paste a JSON model, load it, and inspect the transition graph.