Patents by Inventor Michael J. Pelican

Michael J. Pelican 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).

  • Incremental automata verification
    Patent number: 6957178
    Abstract: Methods and apparatus for performing formal verification of a system defined by a set of automata are useful in facilitating computing efficiencies during the verification of an incremental system design. The various embodiments permit computing efficiencies by saving information generated during a verification of the system for use in subsequent verification runs. The saved information includes calculation results pertaining to instances or elements of the system that do not require modification for the next subsequent verification.
    Type: Grant
    Filed: October 29, 2001
    Date of Patent: October 18, 2005
    Assignee: Honeywell International Inc.
    Inventors: David J. Musliner, Robert P. Goldman, Michael J. Pelican
  • Incremental automata verification
    Publication number: 20030083858
    Abstract: Methods and apparatus for performing formal verification of a system defined by a set of automata are useful in facilitating computing efficiencies during the verification of an incremental system design. The various embodiments permit computing efficiencies by saving information generated during a verification of the system for use in subsequent verification runs. The saved information includes calculation results pertaining to instances or elements of the system that do not require modification for the next subsequent verification.
    Type: Application
    Filed: October 29, 2001
    Publication date: May 1, 2003
    Applicant: Honeywell International Inc.
    Inventors: David J. Musliner, Robert P. Goldman, Michael J. Pelican