PiSPEC

registered computer programs including computer programs for verifying systems; computer applications programs for selecting and configuring data pr Read More

Classification Information

Class [9]
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 [42]
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); automated verification solutions based on model checking techniques.

Class [45]
Personal & Legal & Social Services

Licensing and protection of intellectual property; licensing of computer programs.

Mark Details

Serial Number

UK00906477343

Mark Type

Word

Kind of mark

Individual