Community Z Tools Project (CZT):Tools for editing, typechecking and animating Zspecifications and related notations.Includes a Java framework for building formal methods tools.
Be the first to post a text review of Community Z Tools. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
Thanks for your rating!
Would you also like to write a review?