• 社区Z工具是一套工具，旨在帮助您编辑，typecheck和动画的正式规格的编写Z规范的语言，与一些支持Z扩展，如对象-Z、马戏团和TCOZ的。

  • समुदाय Z उपकरण है डिज़ाइन उपकरणों का एक सेट करने के लिए मदद से आप संपादित करें, typecheck और चेतन औपचारिक निर्दिष्टीकरण में लिखा Z विशिष्टता भाषा, के साथ कुछ समर्थन Z के लिए एक्सटेंशन के रूप में इस तरह के वस्तु-Z, सर्कस, और TCOZ.

  • 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.