Community Z Tools
betaTool support for the Z formal notation
Description
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.
User Ratings
User Reviews
Be the first to post a review of Community Z Tools!