Patent Assignment Details
NOTE:Results display only for issued patents and published applications.
For pending or abandoned applications please consult USPTO staff.
|
Reel/Frame: | 053685/0282 | |
| Pages: | 3 |
| | Recorded: | 09/03/2020 | | |
Attorney Dkt #: | P201810192US01 (37643) |
Conveyance: | ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS). |
|
Total properties:
1
|
|
Patent #:
|
|
Issue Dt:
|
12/14/2021
|
Application #:
|
17011226
|
Filing Dt:
|
09/03/2020
|
Title:
|
SCALABLE MODEL CHECKING IN FUNCTIONAL VERIFICATION BY INTEGRATING USER-GUIDED ABSTRACTION
|
|
Assignee
|
|
|
NEW ORCHARD ROAD |
ARMONK, NEW YORK 10504 |
|
Correspondence name and address
|
|
SCULLY, SCOTT, MURPHY & PRESSER, P.C.
|
|
400 GARDEN CITY PLAZA, SUITE 300
|
|
GARDEN CITY, NY 11530
|
Search Results as of:
05/10/2024 04:38 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
|