Patents by Inventor Grygoriy Bunin

Grygoriy Bunin 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).

  • Test case generation algorithm for a model checker
    Patent number: 7523425
    Abstract: A method for testing hardware and software system design. An abstract system description is used to design hardware/software systems and generated test cases are reused to verify the correctness of the implementation.
    Type: Grant
    Filed: April 21, 2006
    Date of Patent: April 21, 2009
    Assignee: Alcatel-Lucent USA Inc.
    Inventors: Grygoriy Bunin, Axel Schneider
  • Test case generation algorithm for a model checker
    Publication number: 20070250799
    Abstract: A method is provided for generating test cases automatically using an abstract system description in combination with a model-checking tool. The abstract system description can be used to design hardware/software systems and the generated test cases can be reused to verify the correctness of the implementation.
    Type: Application
    Filed: April 21, 2006
    Publication date: October 25, 2007
    Inventors: Grygoriy Bunin, Axel Schneider