Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems

Radu Calinescu, Carlo Ghezzi, Kenneth Johnson, Mauro Pezzè, Yasmin Rafiq, Giordano Tamburrelli. Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems. IEEE Transactions on Reliability, 65(1):107-125, 2016. [doi]

Abstract

Abstract is missing.