|
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 |