Z2SAL-building a model checker for Z

Derrick, J., North, S. and Simons, A.J.H. (2008) Z2SAL-building a model checker for Z. In: Borger, E., Butler, M., Bowen, J.P. and Boca, P., (eds.) Abstract State Machines, B and Z, Proceedings of. ABZ 2008, September 16-18, 2008, London, UK. Springer , 280 - 293. ISBN 978-3-540-87602-1

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
  • Derrick, J.
  • North, S.
  • Simons, A.J.H.
Editors:
  • Borger, E.
  • Butler, M.
  • Bowen, J.P.
  • Boca, P.
Copyright, Publisher and Additional Information:

© 2008 Springer. This is an author produced version of a paper subsequently published in Abstract State Machines, B and Z . Uploaded in accordance with the publisher's self-archiving policy.

Keywords: Z; model-checking; SAL
Dates:
  • Published: 2008
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: 08 May 2014 15:32
Last Modified: 16 Nov 2016 04:10
Published Version: http://dx.doi.org/10.1007/978-3-540-87603-8_22
Status: Published
Publisher: Springer
Refereed: No
Open Archives Initiative ID (OAI ID):

Export

Statistics