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

Level Up Your Cyber Defense with External Threat Management

See every risk before it hits. From exposed data to dark web chatter. All in one unified view.

Move beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.

Try for Free

Rate This Project

User Reviews

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

Additional Project Details

Operating Systems

BSD, Linux, Mac, Windows

Languages

English

Intended Audience

Developers, Education, Science/Research

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

Bitrise

Bitrise is a CI/CD platform built for mobile development, helping teams speed up builds, automate testing, and deliver high-quality apps faster. It supports native languages like Swift, Objective-C, Java, and Kotlin, as well as cross-platform frameworks including React Native, Flutter, Xamarin,...

See 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

Developers rely on Datalogics to provide the most comprehensive PDF SDKs in the industry. We are SOC 2 Type 2 certified. 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...

See Software
Visual Studio

Microsoft Visual Studio is the industry-leading integrated development environment (IDE) for building modern applications across desktop, mobile, cloud, and web. It empowers developers to write, refactor, debug, test, and deploy software faster with intelligent assistance powered by GitHub...

See Software
Twilio

Design and deploy your ideal customer engagement experience. Twilio is a single fully-programmable platform with flexible APIs for any channel and over 400+ integrations, backed by a community of over 9 million developers. Build accurate and personalized experiences for your customers, easily...

See Software