Patents by Inventor Mark D. Aagaard

Mark D. Aagaard 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).

  • Methods and systems for an interactive theorem-proving tool with reflective capabilities
    Patent number: 7181729
    Abstract: Methods and systems are provided for improved operation of a theorem-proving tool. Logic statements that are to be proved are loaded and a series of interactive commands and assumptions are interactively processed. As the series of commands and assumptions are processed they are tracked. Moreover, the series of commands and assumptions are automatically replayed when a change is received. In some embodiments, the commands are validated for correct syntaxes and data types before the commands are processed.
    Type: Grant
    Filed: December 30, 2002
    Date of Patent: February 20, 2007
    Assignee: Intel Corporation
    Inventors: James D. Grundy, Mark D. Aagaard
  • Methods and systems for an interactive theorem-proving tool with reflective capabilities
    Publication number: 20040128649
    Abstract: Methods and systems are provided for improved operation of a theorem-proving tool. Logic statements that are to be proved are loaded and a series of interactive commands and assumptions are interactively processed. As the series of commands and assumptions are processed they are tracked. Moreover, the series of commands and assumptions are automatically replayed when a change is received. In some embodiments, the commands are validated for correct syntaxes and data types before the commands are processed.
    Type: Application
    Filed: December 30, 2002
    Publication date: July 1, 2004
    Applicant: Intel Corporation
    Inventors: James D. Grundy, Mark D. Aagaard