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 #:
|
|
Issue Dt:
|
06/01/2010
|
Application #:
|
11268802
|
Filing Dt:
|
11/07/2005
|
|
Publication #:
|
|
Pub Dt:
|
07/27/2006
| | | | |
|
Inventors:
|
Ajay Chander, Nayeem Islam, David Espinosa, Peter Lee, George Necula
|
|
Title:
|
METHOD AND APPARATUS FOR ENFORCING SAFETY PROPERTIES OF COMPUTER PROGRAMS BY GENERATING AND SOLVING CONSTRAINTS
|
|
|
Assignment:
1
|
|
|
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
|
|
|
| 181 METRO DRIVE |
| SUITE 300 |
| SAN JOSE, CALIFORNIA 95110 |
|
|
|
|
| BLAKELY, SOKOLOFF, TAYLOR & ZAFMAN LLP |
| 12400 WILSHIRE BOULEVARD |
| 7TH FLOOR |
| LOS ANGELES, CA 90025 |
|
|
|
Assignment:
2
|
|
|
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
|
|
|
| SANNO PARK TOWER, 11-1 |
| NAGATA-CHO, 2-CHOME, CHIYODA-KU |
| TOKYO, JAPAN 100-6150 |
|
|
|
|
| BLAKELY, SOKOLOFF, TAYLOR & ZAFMAN LLP |
| 12400 WILSHIRE BOULEVARD |
| 7TH FLOOR |
| LOS ANGELES, CALIFORNIA 90025 |
|
|
Search Results as of:
05/15/2024 06:47 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
|
