Mechanized proofs of opacity: a comparison of two techniques

Derrick, J., Doherty, S., Dongol, B. et al. (3 more authors) (2017) Mechanized proofs of opacity: a comparison of two techniques. Formal Aspects of Computing. pp. 1-29. ISSN 0934-5043

Abstract

Metadata

Authors/Creators:
  • Derrick, J.
  • Doherty, S.
  • Dongol, B.
  • Schellhorn, G.
  • Travkin, O.
  • Wehrheim, H.
Copyright, Publisher and Additional Information: © The Author(s) 2017. This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Keywords: Software transactional memory; Opacity; Verification; Refinement; KIV; Isabelle
Dates:
  • Published (online): 21 August 2017
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
FunderGrant number
ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCIL (EPSRC)EP/M017044/1
Depositing User: Symplectic Sheffield
Date Deposited: 19 Sep 2017 11:32
Last Modified: 23 Oct 2018 12:55
Published Version: https://doi.org/10.1007/s00165-017-0433-3
Status: Published online
Publisher: Springer Verlag
Refereed: Yes
Identification Number: https://doi.org/10.1007/s00165-017-0433-3

Share / Export

Statistics