VARTO
Live / Applied — New application — not yet assigned to an examiner (as of 17 Jul 2026)
What this means for you
Not registered yet, but its 17 Jul 2026 filing date beats anything filed after it. If it registers, the owner can stop confusingly similar uses in the classes it covers.
Record
- Serial number
- 99945922
- Mark type
- Word mark
- Filed
- 17 Jul 2026
Goods and services
- Class 009 — Scientific and electric apparatus: 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
- Class 042 — Scientific and technological 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
Owner
- Varto AI, Inc., San Francisco, CA, US
Prosecution history
- 17 Jul 2026 — APPLICATION FILING RECEIPT MAILED
- 17 Jul 2026 — NEW APPLICATION ENTERED