Patent ID: 8903688

Claim:
A non-transitory electronic device readable medium storing instructions that, when executed by a processor, cause the processor to: access a model in a graphical modeling environment, the model including: a first condition that is either satisfied or unsatisfied depending on data that is associated with the first condition, a point of observation, the point of observation generating an output that is at least partially dependent on the data associated with the first condition, and a second condition that is either satisfied or unsatisfied depending, at least partially, on the output of the point of observation; and validate at least a portion of the model, the validating comprising: placing the first condition in an enforced satisfied status, wherein a verification tool is forced to assume that the first condition is satisfied regardless of whether the condition would actually be satisfied by underlying data, generating the output from the point of observation based on the enforced satisfied status of the first condition, and verifying that the second condition is in a satisfied status based at least in part on the output of the point of observation.