| Technical approach | Z is a widely used specificaton dialect. It is sowewhat lacking in tool supports. Executable Z provides an initial step towards executing and testing Z specs. |
| Technical challenges | The obvious challenges come about when we seek to instatiate quantified variables. There are numerous possible heuristic approaches to this problem and we have only scratched the surface. |
| Hard/New/Different | What is new about EZ, as opposed to other Z offshoots, is executablity. |