Invariant generation for linearizability proofs

Smith, G. and Derrick, J. (2016) Invariant generation for linearizability proofs. In: Proceedings of the ACM Symposium on Applied Computing. 31st Annual ACM Symposium on Applied Computing, 04/04/2016 - 08/04/2016, Pisa, Italy. . ACM , pp. 1694-1699. ISBN 9781450337397



  • Smith, G.
  • Derrick, J.
Copyright, Publisher and Additional Information: © 2016 ACM. This is an author produced version of a paper subsequently published in Proceedings of the 31st Annual ACM Symposium on Applied Computing. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Correctness proofs; Formal Methods; Specifying and Verifying and Reasoning about Programs; Linearizability; Invariant generation
  • Published: 4 April 2016
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 14 Mar 2017 10:14
Last Modified: 23 Mar 2018 14:29
Status: Published
Publisher: ACM
Series Name:
Refereed: Yes
Identification Number:

Share / Export