Title: Abteilung Programmierung des Instituts für Software der Technischen Universität Braunschweig
Description: Das Institut beschäftigt sich vor allem mit der Modellierung, Verifikation und dem Test reaktiver Systeme. Die Hauptprojekte sind Step-X und der SFB562.