Output details
11 - Computer Science and Informatics
Newcastle University
Statistical verification of probabilistic properties with unbounded Until
<07> We develop the first two techniques that enable statistical model checking of properties with unbounded ‘until’, without introducing bias in the result. We show that our techniques can verify models that are too large for other approaches. This paper contributed in forming the basis of several major grant applications, including a $875,000 (£550,000) grant from the US Air Force Office of Scientific Research (award no. FA95501210146) and a $1,500,000 (£940,000) grant from the US Office of Naval Research (award no. N000141310090). Both projects are in collaboration with a US company (SIFT, David Musliner - musliner@sift.net)