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

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