Maybe this website is out of date.
Please visit the current version.
University of Konstanz
Chair for Software Engineering
Prof. Dr. Stefan Leue

Probabilistic Systems:
Formal Verification of Availability Properties


Our research group considers the usage of heuristic search algorithms in the formal analysis of quantitative dependability models. We will enhance the power of stochastic model checking by reconciling it with heuristic directed explicit state model checking (DXMC). The purpose of this activity is two-fold. This project is carried out in collaboration with the subprojects S3 an R3 of the Transregional Collaboration Research Center (Transregio-SFB) AVACS, in which the Chair for Software Engineering is an associate member.

Publications