Owner Prover Technology AB

Service E F Wellington & Co **** Road MELBOURNE VIC 3006 AUSTRALIA

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