Humboldt-Universität zu Berlin, Institut für Informatik Forschungseinheit Spezifikation, Verifikation und Testtheorie

Die Forschungs- und Lehreinheit SVT (Spezifikation, Verifikation und Testtheorie) beschäftigt sich mit grundlegenden Fragen der Qualitätssicherung von Software. Assoziiert ist der Bereich “Synthese, Validierung und Test” am Fraunhofer Institut für Rechnerarchitektur und Softwaretechnik. Kontakt: Prof. Dr. H. Schlingloff

H. Schlingloff, 22.10.2002