PROGRAMS BY czt.sf.net

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