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:
|
12/14/2021
|
Application #:
|
17011226
|
Filing Dt:
|
09/03/2020
|
Inventors:
|
Viresh Paruthi, BRADLEY Donald BINGHAM, Steven Mark German
|
Title:
|
SCALABLE MODEL CHECKING IN FUNCTIONAL VERIFICATION BY INTEGRATING USER-GUIDED ABSTRACTION
|
|
Assignment:
1
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
NEW ORCHARD ROAD |
ARMONK, NEW YORK 10504 |
|
|
|
SCULLY, SCOTT, MURPHY & PRESSER, P.C. |
400 GARDEN CITY PLAZA, SUITE 300 |
GARDEN CITY, NY 11530 |
|
|
Search Results as of:
05/09/2024 08:34 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
|