Serial Number:
79395342
Mark:
ENGINEERING A SAFER WORLD
Status:
Non-final action-Mailed
Status Date:
08-05-2024
Filing Date:
Registration Number:
N/A
Registration Date:
N/A
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; 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.
Mark Description:
N/A
Class:
Scientific and technological services
Type of Mark:
Trademark
Published for Opposition Date:
N/A
Owner:
Mark Drawing Status:
4
Abandon Date:
N/A
Business Name:
N/A
Correspondent Name:
N/A
