SourceForge.net

Create account Help
Search   Advanced
 

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

Most Active Projects in Category

Project Details