Community Z Tools (0.4) Free Download

Community Z Tools free downloadDownload
Community Z Tools Screenshot Screenshot
    Rate it
Category: Debuggers 
Publisher: Mark Utting and Petra Malik      More titles >>
Last Updated: 6/18/2007
Requirements: Not specified
License: Shareware
Operating system: Unix
Hits: 1093
File size: Not specified
Price: Not specified
  • windows free software download
  • apple mac free software download
  • Mobiles, Tablets free apps download

Community Z Tools  0.4 Description:

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. 

Latest Arrivals