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 #:
|
|
Issue Dt:
|
08/26/2008
|
Application #:
|
11124556
|
Filing Dt:
|
05/06/2005
|
Publication #:
|
|
Pub Dt:
|
09/22/2005
| | | | |
Inventors:
|
Edmund M. Clarke, Daniel Kroening
|
Title:
|
METHOD AND SYSTEM TO CHECK CORRESPONDENCE BETWEEN DIFFERENT REPRESENTATIONS OF A CIRCUIT
|
|
Assignment:
1
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
5000 FORBES AVENUE |
PITTSBURGH, PENNSYLVANIA 15213 |
|
|
|
MOORE & VAN ALLEN PLLC |
P.O. BOX 13706 |
RESEARCH TRIANGLE PARK, NC 27709 |
|
|
Search Results as of:
05/12/2024 07:54 AM
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
|