Download Docs
Export

VARTO

99945922 | Trademark

Interested in this case?

To schedule a demo, contact us at sales@docketalarm.com. Track this case, and find millions of cases like it, let us show you how.
Filed July 17, 2026
Serial No. 99945922
Class 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; 021; 023; 026; 036; 038; 100; 101
VARTO
Case Type Trademark Service mark
Status New application awaiting assignment to an examining attorney. <a href="https://www.uspto.gov/dashboard/trademarks/application-timeline.html">See current trademark processing wait times </a> for more information.
Last Updated: 8 hours ago
Filing Date # Docket Text