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

Output details

11 - Computer Science and Informatics

University of Birmingham

Return to search Previous output Next output

Output 29 of 157 in the submission

Output title

Assume-Guarantee Verification for Probabilistic Systems

Type

E - Conference contribution

DOI

10.1007/978-3-642-12002-2_3

Name of conference/published proceedings

Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Volume number

6015

Issue number

First page of article

ISSN of proceedings

0302-9743

Year of publication

2010

URL

http://link.springer.com/chapter/10.1007%2F978-3-642-12002-2_3

Number of additional authors

Additional information

<11>Paper at top verification conference TACAS (24% acceptance rate), short-listed for the 2010 EASST Best Paper award, and journal version now accepted to Information & Computation. Presents the first practical and fully-automated technique for compositional verification of systems with both probabilistic and nondeterministic behaviour, a problem well-known to be hard and with little prior progress. A novel assume-guarantee framework is proposed, implemented and successfully applied to several large case studies. Follow-up work (QEST'10, FASE’11, TACAS’11) expanded the framework and added automatic generation of assumptions through algorithmic learning. Led to an invited tutorial at the CONNECT summerschool.

Interdisciplinary

Cross-referral requested

Research group

F - Software Engineering

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract