Trademark Search  /  ALAN

ALAN

● Live · Pending

U.S. federal trademark · Serial No. 99746970

Mark
ALAN
Status
Pending
Serial Number
99746970
Filing Date
April 6, 2026
Class(es)
Class 009, Class 042

Owner

Provable Systems, Inc.
03 · Wilmington, DE, US

Goods & Services

Downloadable virtual assistant software using artificial intelligence (AI) for performing formal verification of software

Software as a service (SAAS) services featuring software using artificial intelligence (AI) for performing formal verification of software

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