Patents by Inventor Ryan S. Torvik

Ryan S. Torvik 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).

  • System, method, and apparatus for software verification
    Patent number: 11989291
    Abstract: A system and method for software verification provides a lifting dictionary for each desired computer architecture. The lifting dictionary is used to translate native machine language instructions into descriptive intermediate language instructions. Each descriptive intermediate language instruction is atomic, in that, each descriptive intermediate language instruction changes at most one state of the emulated system. An emulator then runs the descriptive intermediate language instructions with tools that show each change of state after each DIL is emulated.
    Type: Grant
    Filed: June 29, 2021
    Date of Patent: May 21, 2024
    Inventors: Ryan S. Torvik, James A. Connor, Jr.
  • System, Method, and Apparatus for Software Verification
    Publication number: 20220414218
    Abstract: A system and method for software verification provides a lifting dictionary for each desired computer architecture. The lifting dictionary is used to translate native machine language instructions into descriptive intermediate language instructions. Each descriptive intermediate language instruction is atomic, in that, each descriptive intermediate language instruction changes at most one state of the emulated system. An emulator then runs the descriptive intermediate language instructions with tools that show each change of state after each DIL is emulated.
    Type: Application
    Filed: June 29, 2021
    Publication date: December 29, 2022
    Applicant: Tulip Tree Technology, LLC
    Inventors: Ryan S. Torvik, James A. Connor, JR.