Fast Parametric Model Checking through Model Fragmentation

Fang, Xinwei, Calinescu, Radu, 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 .



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.
  • 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: 29 Sep 2022 00:58
Status: Published
Publisher: ACM
Refereed: No


Filename: ICSE_2021_Camera_Ready_.pdf

Description: ICSE_2021__Camera_Ready

Share / Export