Efficient Parametric Model Checking Using Domain Knowledge

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Paterson, Colin orcid.org/0000-0002-6678-3752 and Johnson, Kenneth Harold Anthony (2019) Efficient Parametric Model Checking Using Domain Knowledge. IEEE Transactions on Software Engineering. 8698796. ISSN 0098-5589

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © Copyright 2019 IEEE - All rights reserved. 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.
Dates:
  • Accepted: 20 April 2019
  • Published (online): 25 April 2019
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 24 Apr 2019 09:40
Last Modified: 30 Nov 2021 00:45
Published Version: https://doi.org/10.1109/TSE.2019.2912958
Status: Published online
Refereed: Yes
Identification Number: https://doi.org/10.1109/TSE.2019.2912958

Download

Filename: TSE_ePMC_FINAL.pdf

Description: TSE-ePMC-FINAL

Share / Export

Statistics