Patents by Inventor Amit ROKACH

Amit ROKACH 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 and checking the correctness of a computer program during runtime
    Patent number: 10949326
    Abstract: The present invention is directed to a method and system for testing, during runtime, the correctness of a computer program (such as a hypervisor, an operating system or an interpreter) that controls a system and has one or more software modules. Accordingly, a reflexive code of a reflex function is integrated into the software modules or into a virtual infrastructure that executes the computer program. Whenever desired, the reflexive code is activated by an input and its corresponding output is processed. Then, the correctness of the one or more software modules or of the computer program is determined according to the processing results.
    Type: Grant
    Filed: October 4, 2017
    Date of Patent: March 16, 2021
    Assignee: B.G. NEGEV TECHNOLOGIES AND APPLICATIONS LTD.
    Inventors: Shlomi Dolev, Amit Rokach, Roman Manevich
  • METHOD AND SYSTEM FOR TESTING AND CHECKING THE CORRECTNESS OF A COMPUTER PROGRAM DURING RUNTIME
    Publication number: 20180196732
    Abstract: The present invention is directed to a method and system for testing, during runtime, the correctness of a computer program (such as a hypervisor, an operating system or an interpreter) that controls a system and has one or more software modules. Accordingly, a reflexive code of a reflex function is integrated into the software modules or into a virtual infrastructure that executes the computer program. Whenever desired, the reflexive code is activated by an input and its corresponding output is processed. Then, the correctness of the one or more software modules or of the computer program is determined according to the processing results.
    Type: Application
    Filed: October 4, 2017
    Publication date: July 12, 2018
    Inventors: Shlomi DOLEV, Amit ROKACH, Roman MANEVICH