You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Glasgow » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Glasgow

Return to search Previous output Next output

Output 38 of 146 in the submission

Article title

Compositional probabilistic verification through multi-objective model checking

Type

D - Journal article

DOI

10.1016/j.ic.2013.10.001

Title of journal

Information and Computation

Article number

Volume number

232

Issue number

First page of article

ISSN of journal

0890-5401

Year of publication

2013

URL

Number of additional authors

Additional information

<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.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract