Project Summary
Project Information
Field | Value |
---|---|
Name | CZT Typechecker Object-Z |
Description | Provides classes for typechecking Object-Z specifications. |
Homepage | http://czt.sourceforge.net/typechecker/typechecker-oz |
Tools for developing and reasoning about Z specifications
Field | Value |
---|---|
Name | CZT Typechecker Object-Z |
Description | Provides classes for typechecking Object-Z specifications. |
Homepage | http://czt.sourceforge.net/typechecker/typechecker-oz |