ViewVerification

consists of the three submodules:

• CnC View Verificator
• extra-functional property verification (Yannick: merge from Ferdinand) + extension array
• tool to extract extra-functional properties (energy consumption and worse-case exexution time) from Simulink model

Videos