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.




Category: Debuggers 
Publisher: Mark Utting and Petra Malik      More titles >>
Last Updated: 03/12/2019
Requirements: Not specified
License: Shareware
Operating system: Unix
Hits: 207
File size: Not specified
Price: Not specified