|Software Name||Executable Z|
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.
Description : NA