This part of the repository is dedicaded to the models and results in view to evaluate means and tools for verification and validation (part of T7.2 task of WP7).

Available models:

• To complete