Patents Examined by Roberto E Lunar
  • Verification of computer-executable code generated from a model
    Patent number: 9612806
    Abstract: In an embodiment, a model is sliced into a plurality of slices. A slice in the plurality of slices is selected. A portion of code, that corresponds to the selected slice, is identified from code generated from the model. The identified code is verified to be equivalent to the selected slice. Equivalence may include equivalent functionality, equivalent data types, equivalent performance, and or other forms of equivalence between the selected slice and the identified generated code.
    Type: Grant
    Filed: September 2, 2014
    Date of Patent: April 4, 2017
    Assignee: The MathWorks, Inc.
    Inventors: Mirko Conrad, Xiaocang Lin, Jun Yan, Peter S. Szpak, Appa Rao Nirakh, Jayaprabha Shankar