Patents/Inventors

Ronghui Gu

New York, NYUS1 patent

2 Patents

US120791022024
Systems, Methods, and Media for Proving the Correctness of Software on Relaxed Memory Hardware
The Trustees Of Columbia University In The City Of New York
0 cites
US118160182023
Systems and Methods of Formal Verification
Yale University
0 cites