Community Z ToolsWrite in Z specification language with this tool. | |
Download |
Community Z Tools Ranking & Summary
Advertisement
- License:
- GPL
- Publisher Name:
- Community Z Tools Project
- Operating Systems:
- Windows All
- File Size:
- 5.2 MB
Community Z Tools Tags
- editor edit iCalendar specification write CIDR Specification language tool ATOM specification specification Java Specification Specification Generator Generate Specification Data Specification Hardware Specification Z specification language Z extension edit formal specification EMMA specification molecule specification syntax specification technical specification OCL specification UDDI specification write Z specification Z specification editor process specification system requirement specification software specification
Community Z Tools Description
The Community Z Tools is a set of tools designed to help you edit, typecheck and animate formal specifications written in the Z specification language, with some support for Z extensions such as Object-Z, Circus, and TCOZ.
Community Z Tools Related Software