Leader badge

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 >

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

Other Useful Business Software
Open source. Easy to use. Proven. Complete. Icon
Open source. Easy to use. Proven. Complete.

End to end big data that enables you to spend less time formatting data and more time analyzing it.

Discover HPCC Systems - the truly open source big data solution that allows you to quickly process, analyze and understand large data sets, even data stored in massive, mixed-schema data lakes. Designed by data scientists, HPCC systems is a complete integrated solution from data ingestion and data processing to data delivery. The free online introductory courses and a robust developer community allow you to get started quickly.
Try For FREE Today!
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
Report inappropriate content