Z to SAL Translator

This page allows you to download and run a beta version of our Z to SAL translator.

The Z to SAL translator accepts Z marked up as Latex and translates it into the input file(s) for SAL.   In doing this it will assume that the first schema it encounters is the State schema and the second is the Init schema.  

We have tried to accept as many dialects of Latex Z as possible.  A list of the Latex tags we accept is available here.


Click here to download the Z to SAL translator

Please report any errors you find.

The Z to SAL Home Page
Department of Computer Science | The University of Sheffield