Translation of AlloyInEcore models to Z Specification Language using CZT Corejava
ferhaterata opened this issue · 0 comments
ferhaterata commented
CZT Corejava of CZT: Community Z Tools for developing and reasoning about Z specifications
Corejava is part of the CZT project that aims at providing a framework for building formal methods tools, especially for the Z specification language. This subproject provides AST (Annotated Syntax Tree) classes for Z and its extensions, written in Java.
Translating Z to Alloy
https://sourceforge.net/p/czt/code/ci/master/tree/z2alloy/