> That was the second part of my answer: a graph on paper. Draw nodes of execution and represent the branch as two arrows coming from the node and heading to new nodes. Label the arrows with the predicates of the branch.
Thanks! You don't happen to have some learning resources for modelling programs as state machines? I can't find anything when I search.
Thanks! You don't happen to have some learning resources for modelling programs as state machines? I can't find anything when I search.