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

Keywords

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

Cite this