Output details
11 - Computer Science and Informatics
University of Glasgow
Compositional probabilistic verification through multi-objective model checking
<11>This paper presents the first fully automated compositional verification approach for probabilistic systems. Through a number of large case studies the approach is both shown to be efficient and to allow the analysis of systems too complex to be analysed by conventional methods. The theory in the paper is rigorously verified by mathematical proof. This paper extends results presented in two very widely cited previous conference papers at TACAS'10 and TACAS'11 (10.1007/978-3-642-12002-2_3 and 10.1007/978-3-642-19835-9_11). The TACAS'10 paper was short-listed for a best paper award at the European Joint Conferences on Theory and Practice of Software (ETAPS) 2010.