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.


  • Refinement and Abstraction
  • Quantitative Analysis
  • Guarantees for security

Work package leader:

Kim Guldstrand Larsen, Aalborg University