|
[CJP16]
Radu Calinescu, Kenneth Johnson and Colin Paterson.
FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals.
In Proc. TACAS'16, volume 9636 of LNCS, pages 540-546, Springer.
2016.
[Presents a model checker for computing confidence intervals, building on PRISM's parametric model checking functionality.]
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|