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.
Categories
License
Update Notifications
User Ratings
User Reviews
-
Thanks for great project! Simply the best.Good,good,good.+1
-
very good project, thanks!Good,good,good.+1
-
very good project, thanks!
-
very good project, thanks!