Patent ID: 8869102

Claim:
A method comprising: generating a control flow graph corresponding to a state of a state diagram model, the state diagram model corresponding to a model that is continuously updated, the state being associated with a condition; evaluating the condition; determining an output of the control flow graph based on a value corresponding to a result of evaluating the condition; identifying a likelihood of an occurrence of a transition, of the control flow graph, associated with the condition; determining whether to re-evaluate the condition based on a value corresponding to the likelihood of the occurrence of the transition; and determining another output of the control flow graph based on a value corresponding to a result of re-evaluating the condition when the condition is re-evaluated, the generating the control flow graph, the evaluating the condition, the determining the output of the control flow graph, the identifying the likelihood of the occurrence of the transition, the determining whether to re-evaluate the condition, and the determining the other output of the control flow graph being performed by a computing device.