|
|
|
|
 | zip
[sources] [26.40 MB]
| | jar
[binary] [5.20 MB]
|
 Secure downloads are files hosted and checked by Softpedia
|
 Softpedia secure downloads are powered by  Voxel
 Add your comment.
Tell us your opinion or ask for help from a fellow Softpedian.
The Community Z Tools (CZT) project is building a set of tools for editing, typechecking and animating formal specifications written in the Z specification language, with some support for Z extensions such as Object-Z and TCOZ. These tools are all built using the CZT Java framework for Z tools.[Adapted from Andrew Martin's original CZT proposal] The Z specification language was adop... [read more...]
To download from torrent links, you must download and install a bittorrent client
|
|
|
 NOTE: If you have problems downloading Community Z Tools, please try to stop using your download manager and avoid right clicking on files. Also, check your firewall settings, because some mirrors may require that you do not block the HTTP referers. For further information please read our Downloading FAQ & Guide
 Please be aware that Softpedia accepts no responsibility for the software you are downloading. The same applies to the information provided about the software products listed, as the producer can modify it without notifying Softpedia. Even if we try to check the files for viruses ourselves, we cannot guarantee 100% that they are clean. For your own protection ALWAYS check downloaded files for viruses. |
|
