Reliable sequential testing for statistical model checking

Research output: Contribution to conferencePaperAcademicpeer-review

5 Downloads (Pure)

Abstract

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.
Original languageEnglish
Pages-
Number of pages4
Publication statusPublished - 23 Sep 2013
EventFirst Workshop on Statistical Model Checking - INRIA Rennes, Rennes, France
Duration: 23 Sep 201323 Sep 2013

Workshop

WorkshopFirst Workshop on Statistical Model Checking
Abbreviated titleSMC 2013
CountryFrance
CityRennes
Period23/09/1323/09/13

Fingerprint

Model checking
Testing
Statistical Models

Keywords

  • EWI-24104
  • METIS-302569
  • IR-88559

Cite this

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.
Reijsbergen, D.P. ; de Boer, Pieter-Tjerk ; Scheinhardt, Willem R.W. ; Haverkort, Boudewijn R.H.M. / Reliable sequential testing for statistical model checking. Paper presented at First Workshop on Statistical Model Checking, Rennes, France.4 p.
@conference{63e597a7fe8f40f6b0746bf8953e3499,
title = "Reliable sequential testing for statistical model checking",
abstract = "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.",
keywords = "EWI-24104, METIS-302569, IR-88559",
author = "D.P. Reijsbergen and {de Boer}, Pieter-Tjerk and Scheinhardt, {Willem R.W.} and Haverkort, {Boudewijn R.H.M.}",
year = "2013",
month = "9",
day = "23",
language = "English",
pages = "--",
note = "First Workshop on Statistical Model Checking, SMC 2013 ; Conference date: 23-09-2013 Through 23-09-2013",

}

Reijsbergen, DP, de Boer, P-T, Scheinhardt, WRW & Haverkort, BRHM 2013, 'Reliable sequential testing for statistical model checking' Paper presented at First Workshop on Statistical Model Checking, Rennes, France, 23/09/13 - 23/09/13, pp. -.

Reliable sequential testing for statistical model checking. / Reijsbergen, D.P.; de Boer, Pieter-Tjerk; Scheinhardt, Willem R.W.; Haverkort, Boudewijn R.H.M.

2013. - Paper presented at First Workshop on Statistical Model Checking, Rennes, France.

Research output: Contribution to conferencePaperAcademicpeer-review

TY - CONF

T1 - Reliable sequential testing for statistical model checking

AU - Reijsbergen, D.P.

AU - de Boer, Pieter-Tjerk

AU - Scheinhardt, Willem R.W.

AU - Haverkort, Boudewijn R.H.M.

PY - 2013/9/23

Y1 - 2013/9/23

N2 - 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.

AB - 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.

KW - EWI-24104

KW - METIS-302569

KW - IR-88559

M3 - Paper

SP - -

ER -

Reijsbergen DP, de Boer P-T, Scheinhardt WRW, Haverkort BRHM. Reliable sequential testing for statistical model checking. 2013. Paper presented at First Workshop on Statistical Model Checking, Rennes, France.