On hypothesis testing for statistical model checking

D.P. Reijsbergen; Pieter-Tjerk de Boer; Willem R.W. Scheinhardt; Boudewijn R.H.M. Haverkort

doi:10.1007/s10009-014-0350-1

On hypothesis testing for statistical model checking

D.P. Reijsbergen
, Pieter-Tjerk de Boer
, Willem R.W. Scheinhardt
, Boudewijn R.H.M. Haverkort

Research output: Contribution to journal › Article › Scientific › peer-review

21 Citations (Scopus)

Abstract

Hypothesis testing is an important part of statistical model checking (SMC). It is typically used to verify statements of the form $p>p_0$ or $p

Original language	English
Pages (from-to)	377-395
Number of pages	19
Journal	International journal on software tools for technology transfer
Volume	17
Issue number	4
DOIs	https://doi.org/10.1007/s10009-014-0350-1
Publication status	Published - Aug 2015
Externally published	Yes

Keywords

EWI-26168
IR-96736
METIS-312683

Access to Document

10.1007/s10009-014-0350-1

Cite this

@article{b9032c0a5c04421aa7545cce74b7f2e2,

title = "On hypothesis testing for statistical model checking",

abstract = "Hypothesis testing is an important part of statistical model checking (SMC). It is typically used to verify statements of the form \$p>p\_0\$ or \$p",

keywords = "EWI-26168, IR-96736, METIS-312683",

author = "D.P. Reijsbergen and \{de Boer\}, Pieter-Tjerk and Scheinhardt, \{Willem R.W.\} and Haverkort, \{Boudewijn R.H.M.\}",

note = "eemcs-eprint-26168",

year = "2015",

month = aug,

doi = "10.1007/s10009-014-0350-1",

language = "English",

volume = "17",

pages = "377--395",

journal = "International journal on software tools for technology transfer",

issn = "1433-2779",

publisher = "Springer Verlag",

number = "4",

}

TY - JOUR

T1 - On hypothesis 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.

N1 - eemcs-eprint-26168

PY - 2015/8

Y1 - 2015/8

N2 - Hypothesis testing is an important part of statistical model checking (SMC). It is typically used to verify statements of the form $p>p_0$ or $p

AB - Hypothesis testing is an important part of statistical model checking (SMC). It is typically used to verify statements of the form $p>p_0$ or $p

KW - EWI-26168

KW - IR-96736

KW - METIS-312683

U2 - 10.1007/s10009-014-0350-1

DO - 10.1007/s10009-014-0350-1

M3 - Article

SN - 1433-2779

VL - 17

SP - 377

EP - 395

JO - International journal on software tools for technology transfer

JF - International journal on software tools for technology transfer

IS - 4

ER -

On hypothesis testing for statistical model checking

Abstract

Keywords

Access to Document

Fingerprint

Cite this