tm logo
Trademark Search
ENGINEERING A SAFER WORLD

View On IC.GC.CA

ENGINEERING A SAFER WORLD
FORMALIZED

on 08 May 2024

Last Applicant/ Owned by

PROVER TECHNOLOGY AB

Krukmakargatan 21SE-118 51 Stockholm

SE

Serial Number

2325997 filed on 13th Dec 2023

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

12

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

12

Mark Details

Serial Number

2325997

Mark Type

Trademark

Legal History

Action TakenStatus
Submitted for opposition 257
on 09th May 2024		Designation Notification - Madrid Protocol
Submitted for opposition 1
on 08th May 2024		Created
Submitted for opposition 31
on 08th May 2024		Formalized
Submitted for opposition 228
on 13th Dec 2023		International Registration
Submitted for opposition 30
on 13th Dec 2023		Filed