Issues in implementing a model checker for Z

Derrick, J., North, S. orcid.org/0000-0002-8478-8960 and Simons, T. (2006) Issues in implementing a model checker for Z. In: Liu, Z. and He, J., (eds.) Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings. 8th International Conference on Formal Engineering Methods, ICFEM 2006, 01-03 Nov 2006, Macao, China. Lecture Notes in Computer Science, LNPSE 4260 . Springer Berlin Heidelberg , pp. 678-696. ISBN 9783540474609

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Liu, Z.
  • He, J.
Copyright, Publisher and Additional Information:

© 2006 Springer-Verlag Berlin Heidelberg.

Keywords: Z; model-checking; SAL
Dates:
  • Published: 24 October 2006
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Science (Sheffield)
The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 23 Jun 2023 16:13
Last Modified: 23 Jun 2023 16:13
Status: Published
Publisher: Springer Berlin Heidelberg
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: 10.1007/11901433_37
Related URLs:
Open Archives Initiative ID (OAI ID):

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Export

Statistics