Trademark Search  /  FORMAL METHODS AUTOMATION

FORMAL METHODS AUTOMATION

○ Dead · Abandoned

U.S. federal trademark · Serial No. 90081136

Mark
FORMAL METHODS AUTOMATION
Status
Abandoned
Serial Number
90081136
Filing Date
July 29, 2020
Class(es)
Class 009

Owner

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

Goods & Services

downloadable embedded software system for computer and hardware security; downloadable computer software and firmware to provide security for computer operating system programs

Thinking of using a similar name?
Search 14 million+ trademarks free and see if your brand conflicts with "FORMAL METHODS AUTOMATION" 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.