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:
Dec. 02, 2014
Filed:
Apr. 01, 2011
William J. Aldrich, Natick, MA (US);
Grégoire Hamon, Boston, MA (US);
Anjali Dattatray Joshi, Auburndale, MA (US);
William J. Aldrich, Natick, MA (US);
Grégoire Hamon, Boston, MA (US);
Anjali Dattatray Joshi, Auburndale, MA (US);
The MathWorks, Inc., Natick, MA (US);
Abstract
Methods, mediums, and systems are presented herein for evaluating points of observation in a model by validating conditions in the model. A condition is a location in a model which may be either satisfied or unsatisfied by underlying data associated with the condition. Conditions may be placed in an enforced satisfied status or enforced unsatisfied status in order to instruct a verification tool to assume that the condition is satisfied regardless of whether the condition would actually be satisfied by underlying data. A first condition in an enforced satisfied status or an enforced unsatisfied status may be used to determine whether a second condition is satisfied, or whether a second condition satisfiable.