Engineering a Safer World

Trademark usage description

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

Classification Information

Class [009]
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.

Classification kind code

Class [042]
Research and development services regarding new products; computer programming; updating and verifying of computer programs; consultancy in the field of systems development and formal verification of 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); developing and providing expert solutions relating to automated verification based on model checking techniques.

Classification kind code

Mark Details

Serial Number

2325997

Mark Type

Trademark

Legal History

Action Taken	Status
Submitted for opposition 256 on 10^th Mar 2025	Notification of Possible Opposition Sent
Submitted for opposition 257 on 9^th May 2024	Designation Notification - Madrid Protocol
Submitted for opposition 1 on 8^th May 2024	Created
Submitted for opposition 31 on 8^th May 2024	Formalized
Submitted for opposition 228 on 13^th Dec 2023	International Registration
Submitted for opposition 30 on 13^th Dec 2023	Filed