Output details
11 - Computer Science and Informatics
Newcastle University
Output title
Statistical verification of probabilistic properties with unbounded Until
Type
E - Conference contribution
Name of conference/published proceedings
SBMF 2010: 13th Brazilian Symposium on Formal Methods
Volume number
6527
Issue number
-
First page of article
144
ISSN of proceedings
0302-9743
Year of publication
2010
Number of additional authors
2
Additional information
<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)
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Biology, Neurosciences and Computing
Citation count
3
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
