ENGINEERING A SAFER WORLD

Live / Registered — Registered (as of 01 Apr 2025)

What this means for you

Registered since 01 Apr 2025. The owner can stop confusingly similar uses in the classes it covers.

Class 009 — Scientific and electric apparatus: Registered downloadable computer programs for verifying computer systems and relay systems; downloadable computer application software for selecting and configuring data processing equipment in accordance with pre-established criteria; generic software modules, namely, downloadable software for implementing decisions procedures, each for a certain logic; downloadable computer application software for computer aided software engineering; registered downloadable computer programs for verifying computer hardware and software systems
Class 042 — Scientific and technological services: Research and development of new products; computer programming; updating of computer programs for third parties; technical verification of computer programs for third parties; consultancy in the field of computer systems development and formal verification of computer systems; research and development services in the field of formal verification technology; industrial design; software engineering services of special software modules, namely, for equivalence checking of combinational circuit chips; development of expert technology solutions relating to automated verification software based on model checking techniques