Community Z Tools

Tool support for the Z formal notation

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 >

License

GNU General Public License version 2.0 (GPLv2)

Follow Community Z Tools

Community Z Tools Web Site

Other Useful Business Software

Picsart Enterprise Background Removal API for Stunning eCommerce Visuals

Instantly remove the background from your images in just one click.

With our Remove Background API tool, you can access the transformative capabilities of automation , which will allow you to turn any photo asset into compelling product imagery. With elevated visuals quality on your digital platforms, you can captivate your audience, and therefore achieve higher engagement and sales.

Learn More

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

Similar Business Software

Bazel

Bazel is an open-source build and test tool designed for multi-language, multi-platform software projects that delivers fast, incremental builds by rebuilding only what’s necessary and leveraging advanced local and remote caching, optimized dependency analysis, and parallel execution. It...

See Software
GitHub

GitHub is the world’s most secure, most scalable, and most loved developer platform. Join millions of developers and businesses building the software that powers the world. Build with the world’s most innovative communities, backed by our best tools, support, and services. If you manage multiple...

See Software
Adobe PDF Library SDK

Shorten development times & get to market faster with Adobe PDF Library. Global OEMs, SaaS and enterprise end-users rely on Adobe PDF Library to automate the creation, editing and management of PDFs. An Adobe partner, our SDK uses the same source code as Acrobat for stability, reliability...

See Software