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:
Dec. 24, 2024
Filed:
Nov. 25, 2019
Samsung Electronics Co., Ltd., Suwon-si, KR;
Jun Haeng Lee, Hwaseong-si, KR;
Youngmin Oh, Suwon-si, KR;
Hyun Sun Park, Seoul, KR;
Yongwoo Lee, Hwaseong-si, KR;
Jaecheol Lee, Suwon-si, KR;
Hyojin Choi, Seoul, KR;
Younsik Park, Hwaseong-si, KR;
Seungju Kim, Suwon-si, KR;
Changwook Jeong, Hwaseong-si, KR;
In Huh, Seoul, KR;
Samsung Electronics Co., Ltd., Suwon-si, KR;
Abstract
A system verification method includes generating a first verification vector as a result of a first action of an agent, the first verification vector referring to an observation corresponding to at least one state already covered, from among states of elements of a target system, identifying a first coverage corresponding to at least one state covered by the first verification vector, from among the states of the elements, updating the observation by reflecting the first coverage in the observation, and generating a second verification vector through a second action of the agent, the second verification vector referring to the updated observation.