Patents by Inventor Guy Hampson Broadfoot

Guy Hampson Broadfoot 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).

  • Analytical software design system
    Patent number: 8943465
    Abstract: An analytical software design system arranged to receive informal system design specifications and to convert them into verified design specifications for use in creating source code and carrying out implementation testing of the source code is described. The system comprises a verified black box specification generator arranged to process the received informal system design specifications to create formal specifications; to generate from the formal specifications mathematical models representing the system behavior; to analyze the mathematical models to determine if they have the required behavior; to adjust the formal specifications until the required behavior is achieved; and to derive the required verified design specifications from the mathematical models.
    Type: Grant
    Filed: December 21, 2012
    Date of Patent: January 27, 2015
    Assignee: Verum Holding B.V.
    Inventors: Guy Hampson Broadfoot, Philippa Jane Hopcroft
  • Analytical software design system
    Patent number: 8370798
    Abstract: An analytical software design system arranged to receive informal system design specifications and to convert them into verified design specifications for use in creating source code and carrying out implementation testing of the source code is described. The system comprises a verified black box specification generator arranged to process the received informal system design specifications to create formal specifications; to generate from the formal specifications mathematical models representing the system behavior; to analyze the mathematical models to determine if they have the required behavior; to adjust the formal specifications until the required behavior is achieved; and to derive the required verified design specifications from the mathematical models.
    Type: Grant
    Filed: May 5, 2005
    Date of Patent: February 5, 2013
    Assignee: Silverdata Limited
    Inventors: Guy Hampson Broadfoot, Philippa Jane Hopcroft
  • Analytical Software Design System
    Publication number: 20080263506
    Abstract: An analytical software design system arranged to receive informal system design specifications and to convert them into verified design specifications for use in creating source code and carrying out implementation testing of the source code is described. The system comprises a verified black box specification generator arranged to process the received informal system design specifications to create formal specifications; to generate from the formal specifications mathematical models representing the system behaviour; to analyse the mathematical models to determine if they have the required behaviour; to adjust the formal specifications until the required behaviour is achieved; and to derive the required verified design specifications from the mathematical models.
    Type: Application
    Filed: May 5, 2005
    Publication date: October 23, 2008
    Applicant: Silverdata Limited
    Inventors: Guy Hampson Broadfoot, Philippa Jane Hopcroft