FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals [chapter]

Radu Calinescu, Kenneth Johnson, Colin Paterson
<span title="">2016</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
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,
more &raquo; ... nd extends the applicability of quantitative verification to domains in which unknown estimation errors are unacceptable.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-49674-9_32">doi:10.1007/978-3-662-49674-9_32</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3eml6tjviff5tk6oqr5iwycx5y">fatcat:3eml6tjviff5tk6oqr5iwycx5y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190223112146/http://pdfs.semanticscholar.org/4429/f01180173ed37fa7632cc0193f2725451605.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/44/29/4429f01180173ed37fa7632cc0193f2725451605.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-49674-9_32"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>