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