Patents by Inventor Clifton Lyons

Clifton Lyons 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).

  • DYNAMIC VERIFICATION TRAVERSAL STRATEGIES
    Publication number: 20080059842
    Abstract: A method of implementing a traversal strategy as part of a dynamic verification can include initializing a non-deterministic automaton (NDA) traversal mechanism that has (1) a strategy push-down stack (strategy PDS) that holds traversal strategy pointers and (2) an object push-down stack (object PDS) that holds object pointers, pushing a traversal strategy object pointer onto the strategy PDS, wherein the traversal strategy object pointer points to a traversal strategy object, popping a current object pointer from the object PDS, and determining whether the current object pointer points to a terminal object.
    Type: Application
    Filed: October 26, 2007
    Publication date: March 6, 2008
    Inventors: Sudhir Kadkade, Clifton Lyons
  • Automaton synchronization during system verification
    Publication number: 20050081094
    Abstract: A method and apparatus for synchronizing a non-deterministic automaton being processed on a computing device during dynamic verification of a system or device under test, is described herein.
    Type: Application
    Filed: September 30, 2004
    Publication date: April 14, 2005
    Inventors: Sudhir Kadkade, Clifton Lyons
  • System verification using one or more automata
    Publication number: 20050071720
    Abstract: A method and apparatus for manipulating a non-deterministic automaton and a traversal of a non-deterministic automaton for dynamic verification of a system or device under test is described herein.
    Type: Application
    Filed: September 30, 2004
    Publication date: March 31, 2005
    Inventors: Sudhir Dattaram Kadkade, Clifton Lyons