Huan Ke

Follow

Person

Chicago, IL, US

People

Patents Grantslast 30 patents

Information Patent Grant
Model checker for finding distributed concurrency bugs
- Patent number 10,599,552
- Issue date Mar 24, 2020
- Jeffrey Lukman
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Model Checker for Finding Distributed Concurrency Bugs
- Publication number 20190332518
- Publication date Oct 31, 2019
- FutureWei Technologies, Inc.
- Jeffrey Lukman
- G06 - COMPUTING CALCULATING COUNTING