US Patent Issued to MITSUBISHI HEAVY INDUSTRIES on Jan. 13 for "Verification processing device, verification method, and program" (Japanese Inventors)

ALEXANDRIA, Va., Jan. 13 -- United States Patent no. 12,524,592, issued on Jan. 13, was assigned to MITSUBISHI HEAVY INDUSTRIES LTD. (Tokyo).

"Verification processing device, verification method, and program" was invented by Kenji Takao (Tokyo), Keita Hirayama (Tokyo) and Kenta Masumori (Yokohama, Japan).

According to the abstract* released by the U.S. Patent & Trademark Office: "A verification processing device includes: an inspection processing unit which extracts elements of which states change in a process leading to an insecure event by means of a model inspection for a model to be inspected; a refinement processing unit which determines, for each of the extracted elements, whether the element contributes to the occurrence of the ins...