Patents by Inventor Anjali Dattatray Joshi

Anjali Dattatray Joshi 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).

  • Test entities for evaluation and validation of a model
    Patent number: 8903688
    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.
    Type: Grant
    Filed: April 1, 2011
    Date of Patent: December 2, 2014
    Assignee: The MathWorks, Inc.
    Inventors: William J. Aldrich, Grégoire Hamon, Anjali Dattatray Joshi