VARTO Trademark

Serial Number: 99945922

VARTO is a trademark filed by Varto AI, Inc. on July 17, 2026. The trademark is classified under Class 9 (Computers & Electronics), Class 42 (Computer & Scientific). The application is currently pending registration.

Trademark Classes

Class 9 - Computers & Electronics

Scientific, nautical, surveying, photographic, cinematographic, optical apparatus and instruments

Class 42 - Computer & Scientific

Scientific and technological services; industrial analysis and research services

Owner Contact Info

Varto AI, Inc.

2261 Market Street
San Francisco, CA 94114

Entity Type: 03

Legal Representation

Correspondence Address

Varto AI, Inc.

2261 Market Street

STE 93313

San Francisco, CA 94114

United States

Trademark Details

Filing Date

July 17, 2026

Registration Date

Not Registered

Goods & Services

Providing temporary use of on-line non-downloadable software development tools for performing formal verification of computer software using mathematical methods to determine whether the software satisfies formal specifications; Providing temporary use of online non-downloadable computer software for performing formal verification of digital hardware designs using mathematical methods to determine whether the designs satisfy formal specifications; Application service provider featuring application programming interface (API) software for performing formal verification of computer software using mathematical methods to determine whether the software satisfies formal specifications; Application service provider featuring application programming interface (API) software for performing formal verification of digital hardware designs using mathematical methods to determine whether the designs satisfy formal specifications

Downloadable software development tools for performing formal verification of computer software using mathematical methods to determine whether the software satisfies formal specifications; Downloadable computer software for performing formal verification of digital hardware designs using mathematical methods to determine whether the designs satisfy formal specifications