CZT typechecker for Z/EVES
Provides classes for typechecking Z/EVES specifications (written in Z/EVES extension of the Z specification language).
Tools for developing and reasoning about Z specifications
Provides classes for typechecking Z/EVES specifications (written in Z/EVES extension of the Z specification language).