Praktische Informatik
Die Forschungs- und Lehreinheit SVT (Spezifikation, Verifikation und Testtheorie) beschäftigt sich mit grundlegenden Aspekten der Qualitätssicherung von Software. Die Ergebnisse werden im Bereich "Synthese, Validierung und Test" des Fraunhofer Instituts für Rechnerarchitektur und Softwaretechnik (FIRST) in industriellen Projekten angewendet.
Fragen, an denen wir arbeiten, sind unter anderem folgende: