Patents by Inventor Jos Langen

Jos Langen 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).

  • METHOD AND SYSTEM FOR TESTING COMPLEX MACHINE CONTROL SOFTWARE
    Publication number: 20110145653
    Abstract: A method and system for testing complex machine control software A method of formally testing a complex machine control software program in order to determine defects within the software program is described. The software program to be tested (SUT) has a defined test boundary, encompassing the complete set of visible behaviour of the SUT, and at least one interface between the SUT and an external component, the at least one interface being defined in a formal, mathematically verified interface specification.
    Type: Application
    Filed: August 14, 2009
    Publication date: June 16, 2011
    Applicant: Verum Holding B.V.
    Inventors: Guy Broadfoot, Leon Bouwmeester, Philippa Hopcroft, Jos Langen, Ladislau Posta