Executable Z

Software Name Executable Z
Summary EZ provides a capability to parse an extended Z file, creating a schema database, and generate executable functions corresponding to state changing schema.

The subset of Z that we support includes globals, axioms, schemas and types. We parse generics, but do not yet support generating code from schemas derived from generics.

Point of Contact: Michael K. Smith
COMPUTATIONAL LOGIC, INC.
Austin, TX        

Technology
Description
Educational
Description : NA
Platform(s) Architecture
compliance
Supporting software
dependencies
Availability Support User
Experiences

This page is URL http://www.computationallogic.com/software/caeti/ez/index.html