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

Calinescu, Radu orcid.org/0000-0002-2678-9260, Ghezzi, Carlo, Johnson, Kenneth Harold Anthony et al. (3 more authors) (2016) Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems. IEEE Transactions on Reliability. pp. 107-125. ISSN 0018-9529

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2015, IEEE. 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
Keywords: Markov chains,Software systems,probabilistic model checking,quality-of-service requirements,quantitative verification,Safety, Risk, Reliability and Quality,Electrical and Electronic Engineering
Dates:
  • Published: 1 March 2016
  • Published (online): 4 August 2015
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 03 Mar 2016 12:46
Last Modified: 03 Oct 2021 10:10
Published Version: https://doi.org/10.1109/TR.2015.2452931
Status: Published online
Refereed: Yes
Identification Number: https://doi.org/10.1109/TR.2015.2452931
Related URLs:

Download

Filename: tr2014_edited_v2.pdf

Description: tr2014-edited-v2

Share / Export

Statistics