Serial Number:
79266744
Mark:
PROVER ILOCK
Status:
Registered
Status Date:
08-25-2020
Filing Date:
Registration Number:
6132482
Registration Date:
08-25-2020
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; recorded computer aided software engineering (CASE) applications; registered recorded computer programs for verifying software and hardware 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: