Hochparallele Software-Verifikation nebenläufiger Anwendungen in der Automobilindustrie (HPSV)

Partner

  • Model Engineering Solutions GmbH (MES), Berlin
  • Symtavision GmbH (Symta), Braunschweig
  • Konrad-Zuse-Zentrum für Informationstechnik Berlin (ZIB)
  • Arbeitsgruppe für Programmiersprachen und Übersetzerkonstruktion, Universität Kiel (CAU-PS)
  • Arbeitsgruppe Zuverlässige Systeme, Universität Kiel (CAU-ZS)