PROVER

Trademark usage description

registered computer programs, namely software based tools for configuring, developing and verification of other software; computer programs for verify Read More

Vienna Information

27 . 1 . 1

Letters or numerals forming geometrical figures, written or typographical matter in perspectiveLettres ou chiffres formant des figures géométriques, inscriptions en perspective

27 . 1 . 2

Letters or numerals forming a square or a rectangle (surface or periphery)Lettres ou chiffres formant un carré ou un rectangle (surface ou pourtour)

26 . 4 . 2

RectanglesRectangles

26 . 4 . 5

One quadrilateralUn quadrilatère

26 . 4 . 24

Quadrilaterals with dark surfaces or parts of surfacesQuadrilatères avec surface ou partie de la surface foncée

25 . 5 . 1

Backgrounds divided into two, verticallyFonds partagés en deux dans le sens vertical

27 . 5 . 1

Letters presenting a special form of writingLettres présentant un graphisme spécial

27 . 5 . 8

Letters linked to or containing a figurative element -- Note: Letters representing a human being or a part of the human body, an animal or a part of an animal's body, a plant, a heavenly body, a natural phenomenon or an object are classified in division 27.3.Lettres liées à un élément figuratif ou contenant un élément figuratif -- Note: Les lettres représentant un être humain ou une partie du corps humain, un animal ou une partie du corps d'un animal, un végétal, un corps céleste, un phénomène naturel ou un objet sont classées dans la division 27.3.

29 . 1 . 4

BlueBleu

29 . 1 . 6

White, grey, silverBlanc, gris, argent

Classification Information

Class [009]
Registered computer programs, namely software based tools for configuring, developing and verification of other software; computer programs for verifying systems; computer applications programs for selecting and configuring data processing equipment in accordance with pre-established criteria; generic software modules implementing decisions procedures, each for a certain logic; chips (integrated circuits); data based computer aided software engineering (CASE) applications; registered computer programs for verifying hardware and software systems, all for use in the field of formal verification technology.

Classification kind code

Class [041]
Arranging and conducting of seminars in the field of formal verification technology; provision of introductory and advanced courses on the topic of integration of computer systems for safety verification and provision of general courses related to the application of formal verification technology; teaching and training in the field of computer programs for formal safety verification; practical training taught via demonstration in the fields of computer programming and safety verification

Classification kind code

Class [042]
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

Classification kind code

Mark Details

Serial Number

2089307

Mark Type

Trademark

Legal History

Action Taken	Status
Submitted for opposition 48 on 9^th Jan 2023	Agent Changed
Submitted for opposition 22 on 14^th Jul 2022	Search Recorded
Submitted for opposition 20 on 14^th Jul 2022	Examiner's First Report
Submitted for opposition 223 on 14^th Jul 2022	Total Provisional Refusal
Submitted for opposition 256 on 4^th Jan 2022	Notification of Possible Opposition Sent
Submitted for opposition 257 on 4^th Mar 2021	Designation Notification - Madrid Protocol
Submitted for opposition 1 on 3^rd Mar 2021	Created
Submitted for opposition 31 on 3^rd Mar 2021	Formalized
Submitted for opposition 30 on 15^th Feb 2021	Filed
Submitted for opposition 228 on 4^th Jul 2019	International Registration