Humboldt-Universität zu Berlin, Institut für Informatik
Research group on Specification, Verification and Testing Theory
This Page in German

The research group SVT (Specification, Verification und Testing theory) is concerned with fundamental questions of software quality assurance.
Associated is the “Synthesis, Validation and Testing” division at the Fraunhofer Institute of Computer Architecture and Software Engineering.

Contact: Prof. Dr. H. Schlingloff

H. Schlingloff, 22.10.2002