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