H3 adressiert die Verifikation von kooperativen Assistenzsystemen in verkehrstechnischen Applikationen. Die dazu entwickelten Methoden umfassen parametisierte Verifikation hybrider Systeme samt der Entwicklung dafür geeigneter Logiken, symbolischen Verfahren zur Behandlung hybrider Systeme mit komplexen diskreten Zustandsräumen, kompositionelle Verifikationsmethoden und den Nachweis robuster Verfeinerungsrelationen.