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

15 Citations (Scopus)


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
Issue number4
Publication statusPublished - Aug 2015
Externally publishedYes


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

Fingerprint Dive into the research topics of 'On hypothesis testing for statistical model checking'. Together they form a unique fingerprint.

Cite this