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
Recruit and Manage your Workforce Icon
Recruit and Manage your Workforce

Evolia makes it easier to hire, schedule and track time worked by frontline in medium and large-sized businesses.

Evolia is a web and mobile platform that connects enterprises with 1000’s of local shift workers and offers free workforce scheduling and time and attendance solutions. Is your business on Evolia?
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