VARTO Trademark

Trademark Overview

On Friday, July 17, 2026, a trademark application was filed for VARTO with the United States Patent and Trademark Office. The USPTO has given the VARTO trademark a serial number of 99945922. The federal status of this trademark filing is NEW APPLICATION - RECORD INITIALIZED NOT ASSIGNED TO EXAMINER as of Friday, July 17, 2026. This trademark is owned by Varto AI, Inc.. The VARTO trademark is filed in the Computer & Software Products & Electrical & Scientific Products and Computer & Software Services & Scientific Services categories with the following description:

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

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
varto

General Information

Serial Number99945922
Word MarkVARTO
Filing DateFriday, July 17, 2026
Status630 - NEW APPLICATION - RECORD INITIALIZED NOT ASSIGNED TO EXAMINER
Status DateFriday, July 17, 2026
Registration Number0000000
Registration DateNOT AVAILABLE
Mark Drawing4 - Illustration: Drawing with word(s) / letter(s) / number(s) in Block form
Published for Opposition DateNOT AVAILABLE

Trademark Statements

Goods and ServicesDownloadable 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
Goods and ServicesProviding 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

Classification Information

International Class009 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments; apparatus and instruments for conducting, switching, transforming, accumulating, regulating or controlling electricity; apparatus for recording, transmission or reproduction of sound or images; magnetic data carriers, recording discs; automatic vending machines and mechanisms for coin operated apparatus; cash registers, calculating machines, data processing equipment and computers; fire extinguishing apparatus.
US Class Codes021, 023, 026, 036, 038
Class Status Code6 - Active
Class Status DateFriday, July 17, 2026
Primary Code009
First Use Anywhere DateNOT AVAILABLE
First Use In Commerce DateNOT AVAILABLE
International Class042 - Scientific and technological services and research and design relating thereto; industrial analysis and research services; design and development of computer hardware and software.
US Class Codes100, 101
Class Status Code6 - Active
Class Status DateFriday, July 17, 2026
Primary Code042
First Use Anywhere DateNOT AVAILABLE
First Use In Commerce DateNOT AVAILABLE

Trademark Owner History

Party NameVarto AI, Inc.
Party Type10 - Original Applicant
Legal Entity Type03 - Corporation
AddressSan Francisco, CA 94114
US

Trademark Events

Event DateEvent Description
Friday, July 17, 2026NEW APPLICATION ENTERED
Friday, July 17, 2026APPLICATION FILING RECEIPT MAILED

Related Keywords

varto formal software methods mathematical whether designs using determine specifications verification