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

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