PROVER TRIDENT
Mark Identification

PROVER TRIDENT

Serial Number

79266474

Filing Date

Jun 13, 2019

Registration Date

Aug 25, 2020

Trademark by

PROVER TECHNOLOGY AB

Active Trademark

Classification Information

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 various safety critical applications for rail control systems; recorded computer aided software engineering (CASE) applications; registered recorded computer programs for verifying hardware and software systems

Electrical and Scientific Apparatus

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 of hardware and software systems

Education and Entertainment

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

Computer and Scientific