Validation and Analysis Techniques
The overall ambition of this topic is to provide a wide range of powerful techniques for analyzing models with (possibly multiple) quantitative and security information as they may appear throughout the systems development process.
Topics:
- Refinement and Abstraction
- Quantitative Analysis
- Guarantees for security
Work package leader:
Kim Guldstrand Larsen, Aalborg University
![](https://www.ciss.dk/wp-content/uploads/sites/3/2016/04/idea4cps_web.png)