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.
Download Community Z Tools
Project Admins:
marku, petramalik, timmiller
Operating System:
All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), Linux
License:
GNU General Public License (GPL)
Category:
Mathematics, Build Tools, Code Generators, Interpreters
Find Support
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.
Latest
Public Areas
-
Bugs
: (20 open / 60 total)
Bug Tracking System -
Support Requests
: (0 open / 1 total)
Tech Support Tracking System -
Patches
: (0 open / 0 total)
Patch Tracking System -
Feature Requests
: (4 open / 5 total)
Feature Request Tracking System - Public Forums : (53 messages in 2 forums)
- Mailing Lists : (2 total)
-
SVN Repository
: (0 commits,
0 reads)
Browse SVN
Most Active Projects in Category
Project Details
-
Project Admins :
marku
, petramalik, timmiller - Developers : 15
- Development Status : 3 - Alpha
- Intended Audience : Developers, Education
- License : GNU General Public License (GPL)
- Operating System : All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), Linux
- Programming Language : Java
- Topic : Mathematics, Build Tools, Code Generators, Interpreters
- Translations : English
- Project UNIX name : czt
- Registered : 2003-07-22 00:14
- Activity Percentile (last week) : 89.91
- View project activity statistics
- View list of RSS feeds available for this project