We introduce a framework for comparing statistical model checking (SMC) techniques and propose a new, more reliable, SMC technique. Statistical model checking has recently been implemented in tools like UPPAAL and PRISM to be able to handle models which are too complex for numerical analysis. However, these techniques turn out to have shortcomings, most notably that the validity of their outcomes depends on parameters that must be chosen a priori. Our new technique does not have this problem; we prove its correctness, and numerically compare its performance to existing techniques.
|Number of pages||4|
|Publication status||Published - 23 Sep 2013|
|Event||First Workshop on Statistical Model Checking - INRIA Rennes, Rennes, France|
Duration: 23 Sep 2013 → 23 Sep 2013
|Workshop||First Workshop on Statistical Model Checking|
|Abbreviated title||SMC 2013|
|Period||23/09/13 → 23/09/13|
Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W., & Haverkort, B. R. H. M. (2013). Reliable sequential testing for statistical model checking. -. Paper presented at First Workshop on Statistical Model Checking, Rennes, France.