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.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Community Z Tools

Community Z Tools Web Site

Other Useful Business Software
End the time-wasting search for know-how with revolutionary knowledge management software Icon
End the time-wasting search for know-how with revolutionary knowledge management software

Theum is breakthrough knowledge management software that turns documents into a powerful, user-enabling asset.

Permanently save time and money across the enterprise every day by giving users exactly the knowledge they need from all document sources with a click—without the hassle of launching and searching through hit lists and documents.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Community Z Tools!

Additional Project Details

Operating Systems

Linux, BSD, Mac, Windows

Languages

English

Intended Audience

Science/Research, Education, Developers

User Interface

Command-line, Eclipse

Programming Language

Java

Related Categories

Java Build Tools, Java Code Generators, Java Interpreters, Java Mathematics Software

Registered

2003-07-22