The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
May. 21, 2013
Filed:
Aug. 20, 2007
Aravind Pillarisetti, Natick, MA (US);
Peter Szpak, Newton, MA (US);
Jesung Kim, Westborough, MA (US);
Xiaocang Lin, Wayland, MA (US);
Pieter J. Mosterman, Framingham, MA (US);
Aravind Pillarisetti, Natick, MA (US);
Peter Szpak, Newton, MA (US);
Jesung Kim, Westborough, MA (US);
Xiaocang Lin, Wayland, MA (US);
Pieter J. Mosterman, Framingham, MA (US);
The MathWorks, Inc., Natick, MA (US);
Abstract
A technique for generating an executable document that includes information for validating generated code is provided. The technique can include mapping an assumption to a portion of generated code, the portion containing functional code that is related to implementing the assumption, the mapping allowing at least the portion to be validated with respect to the assumption. The technique can include generating the executable document, where the executable document includes the mapping, and where the generated document validates the at least the portion of the generated code, where validating the at least the portion of the generated code validates the generated code.