Output details
11 - Computer Science and Informatics
University of Birmingham
Automatic verification of competitive stochastic systems
<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.