TRADEMARK NAME Prover trident
PROVER TRIDENT
By: Prover Technology Ab
[class : 9] 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 : 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; 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.
Trademark Details
This Brand Name PROVER TRIDENT is applied by Prover Technology Ab
This Trademark was applied on date 13 June 2019
This Application has been filed by their agent None
| Trademark | PROVER TRIDENT |
| Application No | 4282209 |
| Filing Dte | 13-06-2019 |
| User Detail | Proposed to be used |
| Certificate Number | 0 |
| Valid Until | |
| Goods and Service | [class : 9] 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 : 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; 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. |
| 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
