Fast Parametric Model Checking through Model Fragmentation

Fang, Xinwei, Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos et al. (1 more author) (2021) Fast Parametric Model Checking through Model Fragmentation. In: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). ACM .

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: 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: 18 December 2020
  • Published: 7 May 2021
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 Feb 2021 09:30
Last Modified: 23 Nov 2021 01:00
Status: Published
Publisher: ACM
Refereed: No

Download

Filename: ICSE_2021_Camera_Ready_.pdf

Description: ICSE_2021__Camera_Ready

Share / Export