Patent Assignment Abstract of Title
NOTE:Results display only for issued patents and published applications.
For pending or abandoned applications please consult USPTO staff.
|
Total Assignments:
1
|
|
Patent #:
|
NONE
|
Issue Dt:
|
|
Application #:
|
15270266
|
Filing Dt:
|
09/20/2016
|
|
Publication #:
|
|
Pub Dt:
|
01/12/2017
| | | | |
|
Inventors:
|
Ting LIU, Xiaodong ZHANG, Pei LIU, Lechen YU, Qinghua ZHENG
|
|
Title:
|
Method for Multithreaded Program Output Uniqueness Testing and Proof-Generation, Based on Program Constraint Construction
|
|
|
Assignment:
1
|
|
|
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
|
|
|
| 28 WEST XIANNING ROAD, BEILIN DISTRICT |
| SHAANXI PROVINCE |
| XI'AN, CHINA 710049 |
|
|
|
|
| GILL W. SUH |
| P.O. BOX 682 |
| MAPLE VALLEY, WA 98038 |
|
|
Search Results as of:
08/09/2025 09:02 PM
If you have any comments or questions concerning the data displayed,
contact
PRD / Assignments at 571-272-3350. v.2.6
Web interface last modified:
August 25, 2017 v.2.6
|
