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.