US Patent Issued to INTER-UNIVERSITY RESEARCH INSTITUTE CORPORATION RESEARCH ORGANIZATION OF INFORMATION AND SYSTEMS on Nov. 3 for "Model verification device and model verification method" (Japanese Inventors)

ALEXANDRIA, Va., Nov. 3 -- United States Patent no. 12,783,906, issued on Nov. 3, was assigned to INTER-UNIVERSITY RESEARCH INSTITUTE CORPORATION RESEARCH ORGANIZATION OF INFORMATION AND SYSTEMS (Tokyo).

"Model verification device and model verification method" was invented by Zhenya Zhang (Tokyo), Paolo Arcaini (Tokyo) and Ichiro Hasuo (Tokyo).

According to the abstract* released by the U.S. Patent & Trademark Office: "A model verification device includes a memory, and a processor coupled to the memory and configured to extract a sample from a search space, transform the extracted sample into an input on a constrained search space to which a constraint with respect to a model is applied, according to a predetermined transform rule; and d...