ALEXANDRIA, Va., Nov. 11 -- United States Patent no. 12,468,620, issued on Nov. 11, was assigned to CASCO SIGNAL Co. LTD. (Shanghai).
"Interlocking data safe conversion method for formal verification and translator" was invented by Min Wei (Shanghai), Yanqin Wang (Shanghai), Mingyao Zhang (Shanghai), Shaoxin Wang (Shanghai), Fan Yang (Shanghai), Xiao Lui (Shanghai), Cheng Zhang (Shanghai) and Wenyan Zhang (Shanghai).
According to the abstract* released by the U.S. Patent & Trademark Office: "An interlocking data safe conversion method for formal verification and a translator. Two translators with same functions are developed by adopting different programming methods and programming languages. An input file of each of the translators at le...