Das Konsortium wird grundlegende Theorien des Modells Verifikation und Datenanalyse voranbringen. Auf dieser Grundlage wird es Methoden und Werkzeuge für solide Praktiken der Konzeption und Analyse von zuverlässigen und sicheren IKT-Systemen, die große Datenmengen verarbeiten, als gefordert von Anwendungen auf Bereiche von hoher sozioökonomischer Relevanz und robotische Systeme, eHealth und biomedizinische Systeme.