[CZT-Devel] CZT and others

[Lyle <web...@co...>]

Hi,

I'm studying Software Engineering Mathematics and Z, and I'm finding CZT 
very helpful. Unfortunately it seems like this project has slowed down 
in recent years?

I'm looking at different options for Z animation. I've been playing with 
zLive which works great in many instances, but is not implemented in 
others. I've read about other tools for animation here:

http://www.cs.waikato.ac.nz/~marku/formalmethods.html

but it appears that the links to them are now all broken and I can't 
find any downloads when using google.

Does anyone know where I can find things like PiZA, Possum, etc?


Lyle