System and method for identifying and reducing model complexities affecting model verification

摘要

An embodiment includes a computer-readable media storing instructions that when executed on processing logic execute a process for reducing complexity. The media stores instructions for identifying data dependencies in a model having executable semantics, the data dependencies affecting verification of the model and for selecting a location in the model, the location having data dependencies with other locations in the model, the location to be verified when the model is verified. The media also stores instructions for detecting complexities in the model, the complexities related to the selected location and presenting information about a source for at least one of the complexities. The media further stores instructions for eliminating the source for the at least one of the complexities and for transforming the model into an updated model based on the eliminating, the updated model not including the source for the at least one of the complexities.