Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Formale Methoden und Theoretische Informatik

Institut für Informatik / Universität Koblenz

Forschungsprojekte

ab 2019

EnTrust (Teilprojekt 3: Erklärbarkeit)

ab 2015

Symbolelimination und Quantorenelimination und Anwendungen

ab 2005

Entscheidungsverfahren für komplexe logische Theorien

2004 - 2015

Über Realzeitautomaten hinaus (Teilprojekt TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)

2004 - 2015

Automatisierte Verifikation kooperierender Verkehrssysteme (TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)