1. One or more non-transitory computer-readable media, comprising: one or more instructions that, when executed by a processor of a device, cause the processor to: select a location in a model having executable semantics, the selected location having one or more dependencies with one or more other locations in the model; detect at least one complexity in the model, the at least one complexity affecting the selected location, and interfering with a verification of the model; identify a source for the at least one complexity, the source located at one of the one or more other locations; and eliminate or reduce the source for the at least one complexity, thereby allowing successful verification of the model.
8. The one or more non-transitory computer-readable media of claim 1 wherein the one or more instructions that, when executed by the processor of the device, cause the processor to eliminate or reduce the source for the at least one complexity include transforming the model.