KTH (Royal Institute of Technology)

We are Sweden’s largest technical research and learning institution and home to students, researchers and faculty from around the world dedicated to advancing knowledge. (Taken from KTH's website, 2016-02-03)

In the REVaMP project, the research divisions Embedded Control Systems and Theoretical Computer Science will work in tight collaboration with industry to model and verify product lines using compositional verification.

KTH will in WP 3 (Methodology and Architecture) establish a methodology for verifying product lines using compositional verification based on the State-of-The-Art for: variability modeling methods, languages, and tools; and verification of product lines with a focus on compositional approaches. Furthermore, in WP 6 (Asset verification automation technologies), considering the overall methodology established in WP 3, develop tools for automatic verification of software (C, C++) with variability, based on existing tools (e.g. VCC, Frama-C).