TRADEMARK NAME Prover
PROVER
By: Prover Technology Ab
[class : 9] 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 : 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).[class : 42] 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.
Trademark Details
This Brand Name PROVER is applied by Prover Technology Ab
This Trademark was applied on date 04 July 2019
This Application has been filed by their agent None
| Trademark | PROVER |
| Application No | 4354044 |
| Filing Dte | 04-07-2019 |
| User Detail | Proposed to be used |
| Certificate Number | 0 |
| Valid Until | |
| Goods and Service | [class : 9] 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 : 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).[class : 42] 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. |
| Business Name | Prover Technology Ab |
| Business Type | Private Limited Company |
| Business Sector | Service |
What trademarKing.in Does
TrademarKing help you to register trademark in India. Every year many business use TrademarKing.in to register & protect their brands with smooth filing process. TrademarKing also monitors your Brand name if TrademarK Registration is done through TrademarKing.in. Now you can Register TrademarK Through TrademarKing.in.
In India we have filed 100000+ Trademark Registration , so start now! to register your trademark.
TrademarKing is a free trademark search engine developend by PCNR Trademarks Management Pvt Ltd, India.
Trademark Monitoring
Download our App
