Serial Number:
90496727
Mark:
FORMALLY SECURED TCB BY DESIGN
Status:
Fifth Extension-Granted
Status Date:
06-05-2024
Filing Date:
Registration Number:
N/A
Registration Date:
N/A
computer hardware featuring formal verification technology for computer security, reliability, and safety; computer hardware and embedded software for computer security and reliability, namely, computer hardware and software for formal verification
Mark Description:
N/A
Class:
Scientific
Type of Mark:
Trademark
Published for Opposition Date:
10-05-2021
Owner:
Mark Drawing Status:
4
Abandon Date:
N/A
Business Name:
11 SOUTH MERIDIAN STREET
Correspondent Name:
