Trademark Overview
On Saturday, May 23, 2026, a trademark application was filed for ETC VERIFY with the United States Patent and Trademark Office. The USPTO has given the ETC VERIFY trademark a serial number of 99842416. The federal status of this trademark filing is NEW APPLICATION - RECORD INITIALIZED NOT ASSIGNED TO EXAMINER as of Saturday, May 23, 2026. This trademark is owned by Evolving Technologies Corporation. The ETC VERIFY trademark is filed in the Computer & Software Products & Electrical & Scientific Products and Computer & Software Services & Scientific Services categories with the following description:
Downloadable computer software for formal verification of architectural-level interface composition in engineered systems, namely, software implementing a typed contract algebra with assume-guarantee semantics for specifying, composing, and proving correctness of component interfaces, for refinement and conformance verification of system-component specifications against interface descriptions, for composing component contracts under shared-resource constraints with surfaced feasibility side conditions, for bidirectional editing between contract algebra source and block-diagram representations of system architectures with verification-state propagation from a machine-checked formal model, and for surfacing underdetermined assumptions as typed metadata; downloadable software libraries, development kits, and modules for formal verification and model-based systems engineering; downloadable verified-component libraries for formal verification of engineered systems.
Software as a service (SAAS) services featuring software for formal verification of architectural-level interface composition in engineered systems, namely, software implementing a typed contract algebra with assume-guarantee semantics for specifying, composing, and proving correctness of component interfaces; software as a service (SAAS) services featuring software for refinement and conformance verification of system-component specifications against architectural-level interface descriptions; software as a service (SAAS) services featuring software for composing component contracts under shared-resource constraints with surfaced architectural-feasibility side conditions; software as a service (SAAS) services featuring software for bidirectional editing between formal contract algebra source representations and block-diagram graphical representations of system architectures, with verification-state propagation from a machine-checked formal model; providing temporary use of non-downloa...
