Community Z Tools

  •        0

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.

http://czt.sourceforge.net

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects

Z Word Tools


Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.

Autoz - UML diagram verification


AUtoZ is framework for UML diagram verification. Class and state diagrams are automatically transformed into Z, a formal language, which is then analysed and any inconsistencies are presented to the user. UML suffers from a lack of formal semantics. This can cause ambiguities and inconsistencies to be introduced at the design stage of the software development lifecycle. AUtoZ aims to provide industrial-strength formal verification for UML class and state diagrams. AUtoZ is fully integrated into







Open source products are scattered around the web. Please provide information about the open source projects you own / you use. Add Projects.

Tag Cloud >>