Patent Assignment Details
NOTE:Results display only for issued patents and published applications.
For pending or abandoned applications please consult USPTO staff.
|
Reel/Frame: | 038786/0575 | |
| Pages: | 8 |
| | Recorded: | 06/02/2016 | | |
Conveyance: | ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS). |
|
Total properties:
4
|
|
Patent #:
|
|
Issue Dt:
|
09/30/2014
|
Application #:
|
12441889
|
Filing Dt:
|
08/11/2009
|
Publication #:
|
|
Pub Dt:
|
12/10/2009
| | | | |
Title:
|
GENERATING A TRANSITION SYSTEM FOR USE WITH MODEL CHECKING
|
|
|
Patent #:
|
|
Issue Dt:
|
10/23/2012
|
Application #:
|
12709053
|
Filing Dt:
|
02/19/2010
|
Publication #:
|
|
Pub Dt:
|
08/25/2011
| | | | |
Title:
|
INTER-PROCEDURAL ANALYSIS OF COMPUTER PROGRAMS
|
|
|
Patent #:
|
|
Issue Dt:
|
10/21/2014
|
Application #:
|
12743695
|
Filing Dt:
|
10/22/2010
|
Publication #:
|
|
Pub Dt:
|
07/07/2011
| | | | |
Title:
|
MULTI LANGUAGE SOFTWARE CODE ANALYSIS
|
|
|
Patent #:
|
|
Issue Dt:
|
09/12/2017
|
Application #:
|
14540929
|
Filing Dt:
|
11/13/2014
|
Publication #:
|
|
Pub Dt:
|
08/06/2015
| | | | |
Title:
|
ANALYSIS OF PROGRAM CODE
|
|
Assignee
|
|
|
690 EAST MIDDLEFIELD ROAD |
MOUNTAIN VIEW, CALIFORNIA 94043 |
|
Correspondence name and address
|
|
JUDITH SZEPESI
|
|
20195 STEVENS CREEK BLVD.
|
|
SUITE 250
|
|
CUPERTINO, CA 95014
|
Search Results as of:
06/25/2024 11:34 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
|