9
Scientific, measuring, signalling, and checking (supervision) apparatus and instruments; apparatus and instruments for conducting, switching, transforming, accumulating, regulating or controlling electricity; data carriers, recording discs; data processing equipment and computers; computer apparatus and software for processing data; computer hardware and computer software for use in the field of semiconductor production, in particular for verification purposes; verification software and devices, in particular in the field of semiconductor production; formal verification software
41
Education; providing of training; arranging and conducting of workshops and training courses; computer training
42
Scientific and technological services and research and design relating thereto; industrial analysis and research services; design and development of computer hardware and software; development of verification software; licensing of computer software, in particular verification software; providing of computer software technical support services; application engineering; creation, leasing, hiring and renting out of computer software for the formal verification of semiconductors and other technical components as well as the provision of hardware verification services