| PROVER Prover Technology AB 2050701 4 Jul 2019 | Protected: Registered/protected | Registered computer programs, namely software based tools for configur... Class 009 Class 009 Computer & Software Products & Electrical & Scientific Products 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 041 Class 041 Education and Entertainment Services 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 042 Computer & Software Services & Scientific Services 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. | |
| PROVER Prover Technology AB 862599 10 Jan 2001 | Registered: Registered/protected | Registered computer programs including computer programs for verifying... Class 009 Class 009 Computer & Software Products & Electrical & Scientific Products 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 Class 041 Class 041 Education and Entertainment Services 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 042 Computer & Software Services & Scientific Services 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; licensing and protection of intellectual property; industrial design; engineering services regarding special software modules including equivalence checking of combinational circuits (chips); automated verification solutions based on model checking techniques; licensing of computer programs | |
| PROVER STUDIO Prover Technology AB 2402427 15 Sept 2023 | Protected: Registered/protected | Recorded computer programs, software based tools and applications for ... Class 009 Class 009 Computer & Software Products & Electrical & Scientific Products Recorded computer programs, software based tools and applications for use in the railway, tramway and subway fields. | |
| PROVER SUMMIT Prover Technology AB 2402421 15 Sept 2023 | Protected: Registered/protected | Recorded computer programs, software based tools and applications for ... Class 009 Class 009 Computer & Software Products & Electrical & Scientific Products Recorded computer programs, software based tools and applications for use in the railway, tramway and subway fields. | |
| PROVER STATION Prover Technology AB 2402431 15 Sept 2023 | Protected: Registered/protected | Providing temporary use of non-downloadable software, software applica... Class 042 Class 042 Computer & Software Services & Scientific Services Providing temporary use of non-downloadable software, software applications and software based tools for railway and other railbound traffic accessible via a website. | |
| PROVER TRIDENT Prover Technology AB 1728261 23 Apr 2015 | Protected: Expired renewal possible | Registered computer programs including computer programs for verifying... Class 009 Class 009 Computer & Software Products & Electrical & Scientific Products 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 041 Class 041 Education and Entertainment Services 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 042 Computer & Software Services & Scientific Services 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 | |
| STONE PROVER StarkWare Industries Ltd. 2459636 5 May 2024 | Published: Under examination | Computer software for computational integrity and blockchain technolog... Class 009 Class 009 Computer & Software Products & Electrical & Scientific Products Computer software for computational integrity and blockchain technology. Class 042 Class 042 Computer & Software Services & Scientific Services Providing online non-downloadable cloud-based software for computational integrity and blockchain technology; software as a service (SAAS) services featuring software for computational integrity and blockchain technology. | |
| Prover Oz-Tackle Distributors Pty Ltd 915653 7 Jun 2002 | Removed - Not renewed: Renewal fee not paid | Fishing lures, line, rods, reels and general accessories used to catch... Class 028 Class 028 Toys and Sporting Goods Products Fishing lures, line, rods, reels and general accessories used to catch fish | |
