Bayesian statistical model checking with application to Stateflow/Simulink verification

Clarke, Edmund M.; Zuliani, Paolo; Platzer, André

doi:10.1007/s10703-013-0195-3

Record: found
Abstract: not found
Article: not found

Bayesian statistical model checking with application to Stateflow/Simulink verification

Author(s): Paolo Zuliani , André Platzer , Edmund M. Clarke

Publication date (Print): August 27 2013

Journal: Formal Methods in System Design

Publisher: Springer Nature

Read this article at

ScienceOpenPublisher

Bookmark

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 30

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: Formal Methods in System Design

Abbreviated Title: Form Methods Syst Des

Publisher: Springer Nature

ISSN (Print): 0925-9856

ISSN (Electronic): 1572-8102

Publication date Created: October 2013

Publication date (Print): August 27 2013

Volume: 43

Issue: 2

Pages: 338-367

Article

DOI: 10.1007/s10703-013-0195-3

SO-VID: 5702b107-6fa1-4f9b-be75-6ce04f4e8ce7

History

Data availability:

Comments

Comment on this article

scite_

117

121

Smart Citations

117

121

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.