Output details
11 - Computer Science and Informatics
Newcastle University
Output title
A Bayesian Approach to Model Checking Biological Systems
Type
E - Conference contribution
Name of conference/published proceedings
Computational Methods in Systems Biology: 7th International Conference, CMSB 2009
Volume number
5688
Issue number
-
First page of article
218
ISSN of proceedings
0302-9743
Year of publication
2009
Number of additional authors
5
Additional information
<25> This paper introduced Bayesian sequential hypothesis testing and showed that it enables much faster verification than state-of-the-art techniques. This paper led to further developments in verification of cyber-physical systems, non-deterministic systems, and other areas (see my FMSD 2013, SBMF 2010, QEST 2012 papers), and contributed in obtaining a $10,000,000 (£6,250,000) grant from the US National Science Foundation (PI Edmund M. Clarke – emc@cs.cmu.edu; award no. 0926181). Leading verification tools such as Prism (www.prismmodelchecker.org) and Uppaal (www.uppaal.org) now incorporate statistical model checking capabilities.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Biology, Neurosciences and Computing
Citation count
33
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
