The center for perspicuous computing (CPEC) is a transregional collaborative research center on the analysis and explanation of cyber-physical systems. Project C2 is on composition and abstraction for explications in configurable systems, establishing formal reasoning techniques at the level of features.
Contact: Clemens Dubslaff