[CZT-Devel] To Develop a Z Analysis Tool

[Cristian V. S. <vid...@ms...>]

Hey Dear.

Since I've already proposed Object-Z extensions for Aspect-Oriented AO Z 
models, I need to work on an AO Z analysis tool; thus, I'd like to know 
tools for doing it as part of CZT. For my background, I can work on 
programming; but, maybe there are other approaches for it.

If I can appreciate a simple Z analysis example, I'd get the necessary 
knowledge to develop an AO Z tool.

I wait for your comments ASAP.

Sincerely,

Cristian Vidal Silva.