Contacts

Software Engineering Seminar Quantitative multi-objective probabilistic model checking Description Probabilistic model checking is a powerful verification technique allowing the analysis of quantitative properties of software systems. Such aspects include, for example, reliability, energy consumption, and execution time. However, only a few recent approaches can verify complex properties involving a trade-off among multiple quantitative properties at the same time. As an example, consider a system that is required to be at the same time reliable and fast. These two objectives are often in contrast and suitable formalization languages and verification techniques are needed in order to automatically find the best compromise between the two objectives. The goal of this seminar is to report on the recent results on multi-objective probabilistic model checking and to show their potential on a significant case study