US 11,768,756 B2 · Method for enabling verification of legitimacy of an asynchronous algorithm generated when a logically connected program is executed

Abstract

The present invention proposes a method for determining whether or not the legitimacy of an algorithm generated by LCPS during operation is established by generating the super-language context of LCPS from the LCPS to be verified by the generalized method of the present invention without using any verification data, and analyzing it by the generalized method of the present invention. With this method, all bug events that LCPS develops during operation are revealed as bug syntaxes in the generalized method of the present invention. If there is no bug syntax in LCPS, the algorithm generated by LCPS when operating is legitimate. The above-described method may be performed manually or by a computer according to a dedicated program.

Claims4

Dependent claims

A method comprising:

generating super-language context from a source of logically connected program, and
verifying legitimacy of asynchronous algorithm generated when the logically connected program is executed using the super-language context,
wherein the generating super-language context includes assigning a line number to each syntax of the source of logically connected program, and identifying super-language coordinates, harmonic coordinates, syntax type, and subject vector type, for each syntax identified by the line number.

Dependencies are inferred from the claim text.

Facts

Application

16/955,320Filed 16 Dec 2019

Published

US 2022/0245053 A14 Aug 2022

Granted

26 Sep 2023

Term ends

Not estimatedThe source records don’t support an estimate.

Classification4 codes

G06F 11/3608
Analysis of software for verifying properties of programs: using formal methods, e.g. model checking, abstract interpretation
G06F 11/3612
Analysis of software for verifying properties of programs: by runtime analysis
G06F 11/3616
Analysis of software for verifying properties of programs: using software metrics
G06F
Computing and data processing

Method for enabling verification of legitimacy of an asynchronous algorithm generated when a logically connected program is executed

Life of this patent

Method for enabling verification of legitimacy of an asynchronous algorithm generated when a logically connected program is executed

Life of this patent

Abstract

Claims4