Community Z Tools Project (CZT):
Tools for editing, typechecking and animating Z
specifications and related notations.
Includes a Java framework for building formal methods tools.
NOTE: development of CZT has now moved to GitHub:
https://github.com/community-z-users/czt
This is an utility, used to convert java serializable object to javascript object. It follows JSON ( Javascript Object Notation). This utility mainly useful in web2.0 application development.