|
The Z2SAL Publications Page
- Derrick, J., North, S., Simons, T.
(2006).Issues in Implementing a Model Checker
for Z. In: Liu, Z., He, J. (eds) Formal Methods
and Software Engineering. ICFEM 2006. Lecture
Notes in Computer Science, vol 4260. Springer,
Berlin, Heidelberg.
https://doi.org/10.1007/11901433_37
- John Derrick, Siobhán North and Anthony J. H.
Simons "Z2SAL-Building a Model Checker for Z"
Proceedings of 1st International Conference of
Abstract State Machines, B and Z, London,
England, 16-18 September 2008. Editors Borger,
E; Butler, M; Bowen, JP; Boca, P. pp 208-293.
WOS:00026011830002
- John Derrick, Siobhán North and Anthony J. H.
Simons "Z2SAL: a translation-based model checker
for Z" Formal Aspects of Computing Volume 23,
Number 1, 43-71, DOI: 10.1007/s00165-009-0126-7.
January 2011
- J Derrick, S North and A J H Simons, Building
a refinement checker for Z, Proc. 15th Int.
Refinement Workshop, 20 June (2011) in:
eds. J Derrick, E Boiten and S Reeves, EPTCS,
55 (Limerick: OPA, 2011), 37-52.
|
