Serial Number
79271680
Owner
Prover Technology ABAttorney
Allison Strickland RickettsFiling Date
Jul 4, 2019
PROVER Trademark
Serial Number: 79271680 • Registration: 6268783
Trademark Classes
Class 9 - Computers & Electronics
Scientific, nautical, surveying, photographic, cinematographic, optical apparatus and instruments
Class 41 - Education & Entertainment
Education; providing of training; entertainment; sporting and cultural activities
Class 42 - Computer & Scientific
Scientific and technological services; industrial analysis and research services
Owner Contact Info
Legal Representation
Correspondence Address
Allison Strickland Ricketts FROSS ZELNICK LEHRMAN & ZISSU, P.C.
151 West 42nd St., 17th Fl
New York, NY 10036
UNITED STATES
Trademark Details
Filing Date
July 4, 2019
Registration Date
February 16, 2021
Published for Opposition
July 21, 2020
Goods & Services
Arranging and conducting of seminars; provision of introductory and advanced courses on the topic of integration of computer systems and provision of general courses related to the application of formal verification technology; teaching and training in the field of computer programs; practical training taught via demonstration in the fields of computer programming and safety verification
Research and development services regarding new products in the field of computer programming and safety verification; computer programming; updating and verifying of computer programs for third parties; consultancy in the field of systems development and verification of computer systems; research and development services in the field of formal verification technology; industrial design; engineering services related to special software modules, namely, equivalence checking of combinational circuits being chips and design and development of automated verification solutions based on model checking techniques; rental of computer software; all of the foregoing relating to software for configuring, developing and verification of other software
Registered computer programs, namely, recorded software based tools for configuring, developing and verification of other software; registered recorded computer programs for verifying systems; recorded computer applications programs for configuring data processing equipment in accordance with pre-established criteria; generic recorded software modules implementing decisions procedures, each for a certain logic for safety critical applications; recorded computer aided software engineering (CASE) applications; registered recorded computer programs for verifying hardware and software systems
