Patent Document ID: 8713528
Application ID: 12559233
Patent Status: 1

Claim One:
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 graphical model, the graphical model representing a dynamic system; generate, based on the graphical model, a semantic representation of the executable graphical model; generate textual code for the graphical model, the textual code being executable to simulate a behavior of the dynamic system; generate a semantic representation of the textual code; 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 graphical model includes a corresponding element for each element included in the semantic representation of the textual code, and determine whether the semantic representation of the textual code includes a corresponding element for each element included in the semantic representation of the graphical model; and output a result of the verification, the result indicating whether the semantic representation of the graphical model includes a corresponding element for each element included in the semantic representation of the textual code, and whether the semantic representation of the textual code includes a corresponding element for each element included in the semantic representation of the graphical model.