| 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. | |
| Proverbial Shamrock & Co pty ltd 2306955 12 Oct 2022 | Registered: Registered/protected | Alcoholic beers; Beer,Alcoholic beverages (except beer); Gin; Whisky; ... Class 032 Class 032 Light Beverage Products Alcoholic beers; Beer Class 033 Class 033 Wines and Spirits Products Alcoholic beverages (except beer); Gin; Whisky; Rum | |
| PROVERIS Johnson & Johnson 2193670 12 Jul 2021 | Registered: Registered/protected | Biostimulants for plants; Fertilizers; Plant growth regulators; Plant ... Class 001 Class 001 Chemical Products Biostimulants for plants; Fertilizers; Plant growth regulators; Plant nutrients; Plant growth regulating preparations; Substances for regulating growth in plants Class 005 Class 005 Pharmaceutical Products Fungicides | |
| 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 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 | |
| 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 | |
| PROVERA Pharmacia & Upjohn Company LLC incorporated in Delaware 642789 10 Oct 1994 | Registered: Registered/protected | Pharmaceutical preparations including progestational agents Class 005 Class 005 Pharmaceutical Products Pharmaceutical preparations including progestational agents | |
| PROVERA Pharmacia & Upjohn Company LLC incorporated in Delaware 172446 7 Mar 1962 | Registered: Registered/protected | A progestational agent Class 005 Class 005 Pharmaceutical Products A progestational agent | |
