Patents by Inventor Patrick Jayet

Patrick Jayet 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).

  • Generating a transition system for use with model checking
    Patent number: 8850415
    Abstract: The invention concerns model program analysis of software code using model checking. Initially, a transition system (22) and an extensible markup language (XML) (24) representation of the data is generated. Next, labels (26) for the transition system are generated by querying the XML representation of the data using (markup) query language. The labels and the structure of the transition system are then used as input to model checking techniques to analyse the software code (28). It is an advantage of the invention that the problem of labelling a transition system can be transformed into the XML domain so that detailed information about the software code can be extracted using queries in a format that can be run in the XML domain which are well known. At the same time the transformation to the XML domain does not prevent the use of efficient model checking technologies.
    Type: Grant
    Filed: September 13, 2007
    Date of Patent: September 30, 2014
    Assignee: National ICT Australia Limited
    Inventors: Ralf Huuck, Ansgar Fehnker, Patrick Jayet, Felix Rauch Valenti
  • GENERATING A TRANSITION SYSTEM FOR USE WITH MODEL CHECKING
    Publication number: 20090307664
    Abstract: The invention concerns model program analysis of software code using model checking. Initially, a transition system (22) and an extensible markup language (XML) (24) representation of the data is generated. Next, labels (26) for the transition system are generated by querying the XML representation of the data using (markup) query language. The labels and the structure of the transition system are then used as input to model checking techniques to analyse the software code (28). It is an advantage of the invention that the problem of labelling a transition system can be transformed into the XML domain so that detailed information about the software code can be extracted using queries in a format that can be run in the XML domain which are well known. At the same time the transformation to the XML domain does not prevent the use of efficient model checking technologies.
    Type: Application
    Filed: September 13, 2007
    Publication date: December 10, 2009
    Applicant: National ICT Australia Limited
    Inventors: Ralf Huuck, Ansgar Fehnker, Patrick Jayet, Felix Rauch