Serial Number:
79266474
Mark:
PROVER TRIDENT
Status:
Registered
Status Date:
08-25-2020
Filing Date:
Registration Number:
6132478
Registration Date:
08-25-2020
Arranging and conducting of seminars; provision of introductory and advanced courses on the topic of integration of computer systems and provision of general courses related to the application of formal verification technology; teaching and training in the field of computer programs; practical training taught via demonstration in the fields of computer programming and safety verification of hardware and software systems Registered recorded computer programs for verifying systems; recorded computer applications programs for configuring data processing equipment in accordance with pre-established criteria; generic recorded software modules implementing decisions procedures, each for a certain logic for various safety critical applications for rail control systems; recorded computer aided software engineering (CASE) applications; registered recorded computer programs for verifying hardware and software systems Research and development services regarding new products in the field of computer programming and safety verification; computer programming; updating and verifying of computer programs for third parties; consultancy in the field of systems development and verification of computer systems; research and development services in the field of formal verification technology; industrial design; engineering services related to special software modules, namely, equivalence checking of combinational circuits being chips and design and development of automated verification solutions based on model checking techniques
Mark Description:
N/A
Class:
Scientific and technological services
Type of Mark:
Trademark
Published for Opposition Date:
06-09-2020
Owner:
Mark Drawing Status:
Standart Character Mark
Abandon Date:
N/A
Business Name:
FROSS ZELNICK LEHRMAN & ZISSU, P.C.
Correspondent Name:
