Skip to main content
Skip to navigation
Skip to footer
Menu
Log in
DE
Formal Methods and theoretical C ...
Institute for Computer Science
Faculty 4
Projects
Current Projects
EnTrust (Teilprojekt 3: Erklärbarkeit)
Weiterlesen
Symbolelimination und Quantorenelimination und Anwendungen
Weiterlesen
Entscheidungsverfahren für komplexe logische Theorien
Weiterlesen
Completed Projects
Über Realzeitautomaten hinaus (Teilprojekt TRR 14: AVACS - automatische Verifikation und Analyse komplexer Systeme)
Weiterlesen
Automatisierte Verifikation kooperierender Verkehrssysteme (TRR 14: AVACS - automatische Verifikation und Analyse komplexer Systeme)
Weiterlesen