Report on conformance testing of application models

The report describes the results of conformance testing of previous WPs, i.e. to what extend the proposed models match the actual behavior of the selected use cases. The report also contains the validation of results from the offline and on-the-fly verification in complex tasks like the control of a wind turbine, robust and fault-tolerant control of smart grids, verified automated driving, and planning in human-robot collaborative manufacturing. Simulation and experiment results are presented as means of verification.