Patents by Inventor Matthew Wnglehart

Matthew Wnglehart has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL
    Publication number: 20120254830
    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: Application
    Filed: September 30, 2011
    Publication date: October 4, 2012
    Applicant: THE MATHWORKS, INC.
    Inventors: Mirko CONRAD, Xiaocang LIN, Jun YAN, Peter SZPAK, Matthew Wnglehart, Appa Rao NIRAKH, Jaya SHANKAR