The Z2SAL Publications Page

• J Derrick, S North and A J H Simons, A SAL-based refinement checker for Z, Formal Aspects of Computing, Refine 2011 Special Edition, eds. J Derrick, S Schneider, E Boiten, (London : BCS/Springer 2012), to appear, draft.
• J Derrick, S North and A J H Simons, Z2SAL: a translation-based model checker for Z, Formal Aspects of Computing, 23 (1), eds. J P Bowen and M J Butler, (London : BCS/Springer, 2011), 43-71. SpringerLink: Online first: DOI 10.1007/s00165-009-0126-7, 2 October, 2009.

• 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.
• J Derrick, S North and A Simons, Z2SAL - building a model checker for Z, Proc. 1st Int. Conf. on Abstract State Machines, B and Z, 16-18 September (London: BCS/FACS, 2008), in: eds. E Börger, M Butler, J P Bowen and P Boca, Lecture Notes in Computer Science, 5238, (London: Springer Verlag, 2008), 280-293. Final draft version.
• J Derrick, S North and A Simons, Issues in implementing model checker for Z, Proc. Int. Conf. on Formal Engineering Methods, (ICFEM, 2006), in: eds. Z Liu and J He Lecture Notes in Computer Science, 4260, (London: Springer Verlag, 2008), 678-696.
• G Smith and J Derrick, Model-checking downward simulations, in: eds. J Derrick and E Boiten, Proc. Refine 2005 Workshop, Guildford, UK, Electronic Notes in Computer Science, 137 (2), (Amsterdam: Elsevier, 2005), 205-224.

• J Derrick and E Boiten, Refinement in Z and Object-Z, Foundations and Advanced Applications, Formal Approaches to Computing and Information Technology Series, (Berlin: Springer Verlag, 2001), 466pp.