The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Sep. 20, 2022
Filed:
Mar. 26, 2020
Tmaxsoft Co., Ltd, Gyeonggi-do, KR;
Seokjun Hong, Gyeonggi-do, KR;
TMAXSOFT CO., LTD, Gyeonggi-do, KR;
Abstract
Disclosed is a computer program stored in a computer readable storage medium, the computer program including commands which cause a processor of a server to execute operations below, the operations including: if a first program written in a source language is converted to a second program written in a target language, generating block information for the first program by analyzing the first program; inserting an annotation into the second program, wherein the annotation includes information on at least one source line, which is included in the first program, associated with at least one target line included in the second program; generating meta information associated with runtime verification based on the block information and the annotation.