Trademark: PROVER 2050701
Word
PROVER
Device Descrption:
RECTANGLE IN RECTANGLE,HALVED,ROUNDED-CORNERS IS LTR O
ID
2050701
Trademark Type
Figurative
Status
Protected: Registered/protected
Application Date
04 July 2019
Registration Date
04 July 2019
Renewal Date
04 July 2029
Owner(s)
Service
Goods and Services:
Class 9:
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.
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.
Class 41:
Arranging and conducting of seminars; introductory and advanced courses on integration of computer systems and general courses related to the application of formal verification technology; teaching and training on computer programs; practical training (demonstration).
Arranging and conducting of seminars; introductory and advanced courses on integration of computer systems and general courses related to the application of formal verification technology; teaching and training on computer programs; practical training (demonstration).
Class 42:
Research and development services regarding new products; computer programming; updating and verifying of computer programs; consultancy in the field of systems development and verifying computer systems; research and development services regarding formal verification technology; industrial design; engineering services regarding special software modules including equivalence checking of combinational circuits (chips); automated verification solutions based on model checking techniques; rental of computer software; all relating to software for configuring, developing and verification of other software.
Research and development services regarding new products; computer programming; updating and verifying of computer programs; consultancy in the field of systems development and verifying computer systems; research and development services regarding formal verification technology; industrial design; engineering services regarding special software modules including equivalence checking of combinational circuits (chips); automated verification solutions based on model checking techniques; rental of computer software; all relating to software for configuring, developing and verification of other software.