Z2SAL: a translation-based model checker for Z

Derrick, J., North, S. and Simons, A.J.H. (2011) Z2SAL: a translation-based model checker for Z. Formal Aspects of Computing, 23 (1). pp. 43-71. ISSN 0934-5043



  • Derrick, J.
  • North, S.
  • Simons, A.J.H.
Copyright, Publisher and Additional Information: © 2011 Springer. This is an author produced version of a paper subsequently published in Formal Aspects of Computing. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Z; model-checking; SAL
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Miss Anthea Tucker
Date Deposited: 25 Mar 2011 12:04
Last Modified: 08 Feb 2013 17:31
Published Version: http://dx.doi.org/10.1007/s00165-009-0126-7
Status: Published
Publisher: Springer
Refereed: Yes
Identification Number: 10.1007/s00165-009-0126-7


Filename: Derrick_42920.pdf

Share / Export