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:
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