1. A non-transitory computer-readable medium storing instructions, the instructions comprising: one or more instructions that, when executed by a processor, cause the processor to: obtain a semantic representation of a model and a semantic representation of textual code generated based on the model; perform a verification of the textual code, the one or more instructions to perform the verification of the textual code including: one or more instructions that, when executed by the processor, cause the processor to: determine whether the semantic representation of the model includes a corresponding element for one or more elements included in the semantic representation of the textual code, and determine whether the semantic representation of the textual code includes a corresponding element for one or more elements included in the semantic representation of the model; and output a result of the verification, the result indicating: whether the semantic representation of the model includes the corresponding element for the one or more elements included in the semantic representation of the textual code, and whether the semantic representation of the textual code includes the corresponding element for the one or more elements included in the semantic representation of the model.