A Survey of Statistical Model Checking

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 104

Record: found
Abstract: not found
Article: not found

Probability Inequalities for Sums of Bounded Random Variables

Wassily Hoeffding (1963)

0 comments Cited 791 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Sequential Tests of Statistical Hypotheses

Flavia Wald (1945)

0 comments Cited 277 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

A logic for reasoning about time and reliability

Hans-Christen Hansson, Bengt-Harald Jonsson (1994)

0 comments Cited 210 times – based on 0 reviews      Review now

Bookmark

All references

Author and article information

Journal

Title: ACM Transactions on Modeling and Computer Simulation

Abbreviated Title: ACM Trans. Model. Comput. Simul.

Abbreviated Title: TOMACS

Publisher: Association for Computing Machinery (ACM)

ISSN (Print): 10493301

Publication date Created: January 31 2018

Publication date (Print): January 31 2018

Volume: 28

Issue: 1

Pages: 1-39

Affiliations

[1 ]University of Illinois at Urbana-Champaign, USA

Article

DOI: 10.1145/3158668

SO-VID: e7457e3e-16d0-4a31-8949-5df6c15cf775

License:

http://www.acm.org/publications/policies/copyright_policy#Background

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.