Serial Number
79395342
Owner
Prover Technology ABAttorney
Allison Strickland RickettsFiling Date
Dec 13, 2023
ENGINEERING A SAFER WORLD Trademark
Serial Number: 79395342 • Registration: 7741604
Trademark Classes
Owner Contact Info
Legal Representation
Correspondence Address
Allison Strickland Ricketts Fross Zelnick Lehrman & Zissu, P.C.
151 West 42nd Street, 17th Floor
New York, NY 10036
United States
Trademark Details
Filing Date
December 13, 2023
Registration Date
April 1, 2025
Published for Opposition
February 11, 2025
Goods & Services
Registered downloadable computer programs for verifying computer systems and relay systems; downloadable computer application software for selecting and configuring data processing equipment in accordance with pre-established criteria; generic software modules, namely, downloadable software for implementing decisions procedures, each for a certain logic; downloadable computer application software for computer aided software engineering; registered downloadable computer programs for verifying computer hardware and software systems
Research and development of new products; computer programming; updating of computer programs for third parties; technical verification of computer programs for third parties; consultancy in the field of computer systems development and formal verification of computer systems; research and development services in the field of formal verification technology; industrial design; software engineering services of special software modules, namely, for equivalence checking of combinational circuit chips; development of expert technology solutions relating to automated verification software based on model checking techniques
