Trademark: PROVER TRIDENT 1728261
Word
PROVER TRIDENT
ID
1728261
Trademark Type
WORD
Status
Protected: Renewal due
Application Date
23 April 2015
Registration Date
23 April 2015
Renewal Date
23 April 2025
Owner(s)
Service
Goods and Services:
Class 9:
Registered computer programs including computer programs for verifying systems; computer applications programs for configuring data processing equipment in accordance with pre-estalished criteria; generic software modules implementing decisions procedures, each for a certain logic, for various safety critical applications for rail control systems; chips (integrated circuits); data-based computer aided software engineering (CASE) applications; registered computer programs for verifying hardware and software systems
Registered computer programs including computer programs for verifying systems; computer applications programs for configuring data processing equipment in accordance with pre-estalished criteria; generic software modules implementing decisions procedures, each for a certain logic, for various safety critical applications for rail control systems; 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; consultations within the area for 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) and automated verification solutions based on model checking techniques
Research and development services regarding new products; computer programming; updating and verifying of computer programs; consultations within the area for 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) and automated verification solutions based on model checking techniques