9
Wissenschaftliche, Mess-, Signal-, Kontrollapparate und -instrumente; Apparate und Instrumente zum Leiten, Schalten, Umwandeln, Speichern, Regeln und Kontrollieren von Elektrizität; Datenträger, Schallplatten; Datenverarbeitungsgeräte und Computer; Computerapparate und -software für die Datenverarbeitung; Computerhardware und -software zur Verwendung auf dem Gebiet der Halbleiterproduktion, insbesondere für die Verifizierung; Verifizierungssoftware und -geräte, insbesondere auf dem Gebiet der Halbleiterproduktion; formale Verifizierungssoftware
41
Erziehung; Ausbildung; Veranstaltung und Durchführung von Workshops und Schulungskursen; Computerausbildung
42
Wissenschaftliche und technologische Dienstleistungen und Forschungsarbeiten und diesbezügliche Designerdienstleistungen; industrielle Analyse- und Forschungsdienstleistungen; Entwurf und Entwicklung von Computerhardware und -software; Entwicklung von Verifizierungssoftware; Lizenzierung von Computersoftware, insbesondere von Verifizierungssoftware; Bereitstellung von technischem Support für Computersoftware; Einsatzvorbereitung; Erstellen, Leasing, Mieten und Vermieten von Computersoftware für die formale Verifikation von Halbleitern und anderen technischen Bauteilen sowie Bereitstellung von Dienstleistungen zur Hardwareverifikation