Trademark Search  /  FORMALLY SECURED TCB BY DESIGN

FORMALLY SECURED TCB BY DESIGN

○ Dead · Abandoned

U.S. federal trademark · Serial No. 90496727

Mark
FORMALLY SECURED TCB BY DESIGN
Status
Abandoned
Serial Number
90496727
Filing Date
January 29, 2021
Class(es)
Class 009

Owners

BedRock Systems, Inc.
03 · San Francisco, CA, US
BedRock Systems, Inc.
03 · San Mateo, CA, US

Goods & Services

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

Thinking of using a similar name?
Search 14 million+ trademarks free and see if your brand conflicts with "FORMALLY SECURED TCB BY DESIGN" or anything like it, before you file.
Run a free trademark search →

Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.