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 journalArticleScientificpeer-review

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 languageEnglish
Pages (from-to)377-395
Number of pages19
JournalInternational journal on software tools for technology transfer
Volume17
Issue number4
DOIs
Publication statusPublished - Aug 2015
Externally publishedYes

Fingerprint

Hypothesis Testing
Model Checking
Statistical Model
Verify
Form

Keywords

  • EWI-26168
  • IR-96736
  • METIS-312683

Cite this

Reijsbergen, D.P. ; de Boer, Pieter-Tjerk ; Scheinhardt, Willem R.W. ; Haverkort, Boudewijn R.H.M. / On hypothesis testing for statistical model checking. In: International journal on software tools for technology transfer. 2015 ; Vol. 17, No. 4. pp. 377-395.
@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 = "8",
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",

}

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

In: International journal on software tools for technology transfer, Vol. 17, No. 4, 08.2015, p. 377-395.

Research output: Contribution to journalArticleScientificpeer-review

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

VL - 17

SP - 377

EP - 395

JO - International journal on software tools for technology transfer

JF - International journal on software tools for technology transfer

SN - 1433-2779

IS - 4

ER -