Pispec [4339261]™ Trademark

Protection Granted trademark Pispec [4339261] (DEVICE) - 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; consultations 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.

Pispec [4339261]™ Trademark
App number 4339261
As on date 2021-09-20
Status Protection Granted
Tm application no IRDI-4339261
Class 99
Date of application 2019-06-13
Appropriate office IR DIVISION
State STATE NOT SPECIFIED
Country European Union
Filing mode International Bureau
Tm applied for PiSPEC
Tm category TRADE MARK
Trade mark type DEVICE
User detail Proposed to be used
Certificate detail Certificate No. 0    Dated :
Valid upto renewed upto
Proprietor name (1) Prover Technology AB
Body Incorporate
Proprietor address Krukmakargatan 21 SE-118 51 Stockholm Sweden
Email id
Agent name
Agent address
Goods service details [CLASS : 9]
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 : 42]
Research and development services regarding new products; computer programming; updating and verifying of computer programs; consultations 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.
Publication details
Attorney name
Attorney address
Conditions
Restrictions
Associated trademarks
Journal number
Journal sup number
Journal published date
Alert
Oppositionrectification details