Output details
11 - Computer Science and Informatics
University of Birmingham
Article title
Automatic verification of competitive stochastic systems
Type
D - Journal article
Title of journal
Formal Methods in System Design
Article number
-
Volume number
43
Issue number
1
First page of article
61
ISSN of journal
0925-9856
Year of publication
2013
URL
-
Number of additional authors
4
Additional information
<11>Journal version of a paper in top verification conference TACAS 2012 (23% acceptance rate). Presents novel logics, algorithms and implementations for modelling and verifying systems using stochastic games, allowing this class of models to be applied, for the first time, to substantial verification case studies (energy management, autonomous systems). A new EPSRC grant, with the author as PI, is based directly upon this work, applying it to computer security ("Automated Game-Theoretic Verification of Security Systems", EP/K038575/1). The software accompanying the paper (PRISM-games) has already been downloaded over 125 times for use in more than 20 institutions.
Interdisciplinary
-
Cross-referral requested
-
Research group
F - Software Engineering
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
