Serial Number:
75837030
Mark:
FORMAL NAVIGATOR
Status:
Abandoned-Failure to Respond
Status Date:
11-14-2000
Filing Date:
Registration Number:
N/A
Registration Date:
N/A
software that checks the validity of formal mathematical properties for a very large scale integration hardware design
Mark Description:
N/A
Class:
Scientific
Type of Mark:
Trademark
Published for Opposition Date:
N/A
Owner:
Mark Drawing Status:
Typed Drawing
Abandon Date:
09-28-2000
Business Name:
ORR & RENO
Correspondent Name:
