Inventor

GU RONGHUI

US3 patents

⚠️ This page may combine multiple inventors who share the name “GU RONGHUI”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

UNIV YALE

2 patents

US11816018B2Nov 14, 2023

Systems and methods of formal verification

UNIV YALE0 citations48

US11409630B2Aug 9, 2022

Systems and methods of formal verification

UNIV YALE1 citations48

GU RONGHUI

1 patent

US12079102B2Sep 3, 2024

Systems, methods, and media for proving the correctness of software on relaxed memory hardware

GU RONGHUI0 citations45