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

Project Activity

See All Activity >

Categories

Build Tools, Code Generators, Interpreters, Mathematics

License

GNU General Public License version 2.0 (GPLv2)

Follow Community Z Tools

Community Z Tools Web Site

You Might Also Like
Manage your IT department more effectively Icon
Manage your IT department more effectively

Streamline your business from end to end with ConnectWise PSA

ConnectWise PSA (formerly Manage) allows you to stop working in separate systems, and helps you build a more profitable business. No more duplicate data entries, inefficient employees, manual invoices, and the inability to accurately track client service issues. Get a behind the scenes look into the award-winning PSA that automates processes for each area of business: sales, help desk, support, finance, and HR.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Filter Reviews:
★

There are no 1 star reviews.

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
Report inappropriate content