|
[CGJ+15]
Radu Calinescu, Carlo Ghezzi, Kenneth Johnson, Mauro Pezzé, Yasmin Rafiq and Giordano Tamburrelli.
Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems.
IEEE Transactions on Reliability.
2015.
[Uses PRISM as part of a tool chain formally verify QoS properties of software systems.]
|
|
Links:
[Google]
[Google Scholar]
|