Trademark Alertz ®
Search
Trademark
Owner
Trademark: PROVER 862599
Word
PROVER
ID
862599
Trademark Type
Word
Status
Registered: Registered/protected
Application Date
10 January 2001
Registration Date
10 January 2001
Renewal Date
10 January 2031
Owner(s)
Prover Technology AB
Service
Oxygene IP
Goods and Services:
Class 9
:
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
Class 41
:
Arranging and conducting of seminars
;
introductory and advanced courses on integration of computer systems and general courses related to the application of formal verification technology
;
teaching and training on computer programs
;
practical training (demonstration)
Class 42
:
Research and development services regarding new products
;
computer programming
;
updating and verifying of computer programs
;
consultations within the area for systems development and verifying computer systems
;
research and development services regarding formal verification technology
;
licensing and protection of intellectual property
;
industrial design
;
engineering services regarding special software modules including equivalence checking of combinational circuits (chips)
;
automated verification solutions based on model checking techniques
;
licensing of computer programs