This project provides a translator from Z specifications to Alloy notation.

Only a subset of Z constructs is supported by the translator.

A paper describing the translation was presented in ABZ 2010 conference: “Translating Z to Alloy”.

Dependency on Alloy library

The project requires Alloy library to compile, which is not available in Maven Central. For this reason, z2alloy is not deployed to Maven Central as well. Use the CZT repository version instead.

Back to top

Version: 1.6-SNAPSHOT. Last Published: 2016-04-09.

Reflow Maven skin by Andrius Velykis.