Institute for System Design Technology (gmd.de) - The institute for system design technology (SET) deals with the design of complex embedded systems. Research focuses on design methods which automate the design process, shorten the design time and guarantee (to a certain extent) design quality proper ties such as correctness, testability, reliability, security, robustness and maintainability.
Systematic Program Development Group - Facilitate the timely development of high-quality software and hardware through the practical application of formal methods.
