1. Summary
  2. Files
  3. Support
  4. Report Spam
  5. Create account
  6. Log in

Z driver

From epsilonlabs

Jump to: navigation, search

Z is a formal specification language. The Z driver (originally implemented by Wei Liu for his MSc thesis) makes use of the infrastructure provided by the CZT project (http://czt.sourceforge.net) to allow users to manage Z models (expressed in LaTeX) in Epsilon programs. CZT is released under GPL and therefore this driver could not have been hosted under Eclipse.org. To use the Z driver please check out the org.eclipse.epsilon.emc.z.* plugins.

Personal tools