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:

Institut for Datalogi

Kim Guldstrand Larsen
Aalborg University
E-mail