13. One or more non-transitory computer-readable media storing computer executable instructions that, when executed on processing logic, perform a verification operation, the non-transitory media storing one or more instructions for: initiating the verification operation, the verification operation verifying at least a portion of a model, the model having executable semantics; identifying a first location in the at least a portion of the model, the first location having a complexity that interferes with the verification operation; identifying a source of the complexity at a second location in the model, the second location having a dependency with the first location; eliminating or reducing, at the second location, the source of the complexity; and performing the verification operation, the performing producing a verification result.
13. One or more non-transitory computer-readable media storing computer executable instructions that, when executed on processing logic, perform a verification operation, the non-transitory media storing one or more instructions for: initiating the verification operation, the verification operation verifying at least a portion of a model, the model having executable semantics; identifying a first location in the at least a portion of the model, the first location having a complexity that interferes with the verification operation; identifying a source of the complexity at a second location in the model, the second location having a dependency with the first location; eliminating or reducing, at the second location, the source of the complexity; and performing the verification operation, the performing producing a verification result. 16. The one or more non-transitory computer-readable media of claim 13 wherein the source of the complexity is a non-linear input, the media storing one or more instructions for: substituting a linear input for the non-linear input that is the source of the complexity.