6. A non-transitory, computer-readable medium comprising program instructions, the program instructions when executed by processing logic operable to: detect at least one complexity in a model including executable semantics, the at least one complexity interfering with a verification of the model; identify a source for the at least one complexity, the source including a lookup table of the model, the lookup table including table data that includes at least one input data set, and the at least one input data set including a number of input data values; and reduce the source for the at least one complexity, thereby allowing successful verification of the model, the reduce including: generate new table data for the lookup table, the generate including: linearize at least a portion of the table data of the lookup table, where the linearize reduces the number of input data values of the at least one input data set of the lookup table; and replace the table data of the lookup table with the new table data.
6. A non-transitory, computer-readable medium comprising program instructions, the program instructions when executed by processing logic operable to: detect at least one complexity in a model including executable semantics, the at least one complexity interfering with a verification of the model; identify a source for the at least one complexity, the source including a lookup table of the model, the lookup table including table data that includes at least one input data set, and the at least one input data set including a number of input data values; and reduce the source for the at least one complexity, thereby allowing successful verification of the model, the reduce including: generate new table data for the lookup table, the generate including: linearize at least a portion of the table data of the lookup table, where the linearize reduces the number of input data values of the at least one input data set of the lookup table; and replace the table data of the lookup table with the new table data. 9. The non-transitory computer readable medium of claim 6 further comprising program instructions to: generate an updated model including executable semantics, the updated model based on the model; and include the new table data for the lookup table in the updated model, wherein the at least one complexity is eliminated in the updated model.