Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Johnson, Kenneth Harold Anthony and Paterson, Colin Alexander orcid.org/0000-0002-6678-3752 (2016) FACT:A Probabilistic Model Checker for Formal Verification with Confidence Intervals. In: Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Lecture Notes in Computer Science (LNCS) . Springer , pp. 540-546.
Abstract
We introduce FACT, a probabilistic model checker that computes confidence intervals for the evaluated properties of Markov chains with unknown transition probabilities when observations of these transitions are available. FACT is unaffected by the unquantified estimation errors generated by the use of point probability estimates, a common practice that limits the applicability of quantitative verification. As such, FACT can prevent invalid decisions in the construction and analysis of systems, and extends the applicability of quantitative verification to domains in which unknown estimation errors are unacceptable.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © Springer-Verlag Berlin Heidelberg, 2016. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 09 Dec 2016 10:47 |
Last Modified: | 23 Jan 2025 00:38 |
Status: | Published |
Publisher: | Springer |
Series Name: | Lecture Notes in Computer Science (LNCS) |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:109290 |