About 11 Trademarks found that are owned by Prover Technology Ab

COMPUTER SOFTWARE THAT PERFORMS AUTOMATED LOGICAL REASONING AND ARE COMMONLY INTEGRATED INTO SYSTEM DEVELOPMENT TOOLS AND ENVIRONMENTS

Computer software that performs automated logical reasoning and are commonly integrated into system development tools and environments

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.

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

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

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

PROVER I LOCK

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

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

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

Providing temporary use of non-downloadable software, software applications and software based tools accessible via a website for signaling engineering and planning of railway and other railbound traffic

Registered computer programs including 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.

Research and development services regarding new products; computer programming; updating and verifying of computer programs; consultancy in the field of systems development and formal verification of 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); developing and providing expert solutions relating to automated verification based on model checking techniques.

Recorded computer programs, software based tools and applications for use in the railway, tramway and subway fields

Recorded computer programs, software based tools and applications for use in the railway, tramway and subway fields