28. An apparatus comprising: a memory configured to store a model having executable semantics; and a processor coupled to the memory, the processor configured to: select a location in the model, 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 automatically eliminate or reduce the source for the at least one complexity, thereby allowing successful verification of the model.
28. An apparatus comprising: a memory configured to store a model having executable semantics; and a processor coupled to the memory, the processor configured to: select a location in the model, 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 automatically eliminate or reduce the source for the at least one complexity, thereby allowing successful verification of the model. 31. The apparatus of claim 28 wherein the processor, as part of the eliminate or reduce, is further configured to: identify a variable in the model; and make the identified variable piecewise linear.