Automated verification of reactive and concurrent programs by calculation

Foster, Simon, Ye, Kangfeng, Cavalcanti, Ana et al. (1 more author) (2021) Automated verification of reactive and concurrent programs by calculation. Journal of Logical and Algebraic Methods in Programming. 100681. ISSN 2352-2216



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.
Keywords: cs.LO,cs.PL,Software,Theoretical Computer Science,Logic,Computational Theory and Mathematics
  • Published: 14 April 2021
  • Submitted: 30 April 2019
  • Accepted: 9 April 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: 04 Aug 2020 12:40
Last Modified: 03 Oct 2021 10:45
Published Version:
Status: Published
Refereed: Yes
Identification Number:
Related URLs:


Accepted Version

Embargoed until: 14 April 2022

Filename: 2007.13529v1.pdf

Description: 2007.13529v1

Licence: CC-BY-NC-ND 2.5

Request a copy

file not available

Share / Export