Serial Number:
79271680
Mark:
PROVER
Status:
Registered
Status Date:
02-16-2021
Filing Date:
Registration Number:
6268783
Registration Date:
02-16-2021
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 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 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
Mark Description:
The mark consists of the wording "PROVER" in the color blue with a shaded blue rectangle inside the letter "O", the letter "O" being broken in half at the top and the bottom.
Class:
Scientific and technological services
Type of Mark:
Trademark
Published for Opposition Date:
07-21-2020
Owner:
Mark Drawing Status:
Words, Letters, and/or Numbers in Stylized From
Abandon Date:
N/A
Business Name:
151 WEST 42ND ST., 17TH FL.
Correspondent Name: