Fortgesetzte Förderung durch die DFG

Die Deutsche Forschungsgemeinschaft (DFG) fördert weiterhin die Grundlagenforschung des SWT-Teams zu heterogenen Spezifikationsformalismen, die operationale und deklarative Stile von Spezifikationen kombinieren. Ein Forschungsschwerpunkt sind Schnittstellentheorien, die die bekannten interface automata von de Alfaro und Henzinger erweitern.

Wir freuen uns, dass Herr Ngoc Tri Nguyen, M.Sc., der seine Masterarbeit am SWT-Lehrstuhl unter der Betreuung von Dr. Eugene Yip schrieb, dem SWT-Team bis August 2021 in diesem Projekt beitritt, um eine domänenspezifische Sprache für Schnittstellentheorien zusammen mit Unterstützung für symbolische Ausführung und automatisierte Verifikation zu entwerfen und zu implementieren.