Welcome, Guest! Log In | Create Account

Share

Community Z Tools

by leouk, marku, petramalik, timmiller

Community Z Tools Project (CZT):Tools for editing, typechecking and animating Zspecifications and related notations.Includes a Java framework for building formal methods tools.


http://czt.sourceforge.net

Build Tools, Code Generators, Interpreters, Mathematics

Project Feed

Community Z Tools Actions