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:
2
|
Patent #:
|
NONE
|
Issue Dt:
|
|
Application #:
|
09907337
|
Filing Dt:
|
07/16/2001
|
Publication #:
|
|
Pub Dt:
|
05/23/2002
| | | | |
Inventors:
|
James Benjamin Saxe, Charles Gregory Nelson, Cormac Andrias Flanagan
|
Title:
|
CASE-REDUCED VERIFICATION CONDITION GENERATION SYSTEM AND METHOD BY USE OF DYNAMIC SINGLE ASSUMPTION AND ASSIGNING LABELS TO VARIABLES AT CONTROL JOIN POINTS
|
|
Assignment:
1
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
20555 S.H. 249, LEGAL DEPARTMENT |
MC 110701, HOUSTON, TEXAS |
|
|
|
PENNIE & EDMONDS LLP |
3300 HILLVIEW AVENUE |
PALO ALTO, CA 94304 |
|
|
Assignment:
2
|
|
|
|
CHANGE OF NAME (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
20555 SH 249 |
HOUSTON, TEXAS 77070 |
|
|
|
HEWLETT-PACKARD COMPANY |
VALERIE BAKES |
P.O. BOX 272400, RECORDS MANAGER |
INTELLECTUAL PROPERTY ADMINISTRATION |
FORT COLLINS, CO 80527-2400 |
|
|
Search Results as of:
05/01/2024 12:33 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
|