Community Z Tools (2.0 preview!)

CZT typechecker for Object-Z

Provides classes for typechecking Object-Z specifications (written in Object-Z extension of the Z specification language).

Back to top

Copyright ©2003-2016 Community Z Tools Project. All Rights Reserved.

Version: 1.6-SNAPSHOT. Last Published: 2016-04-09.

Reflow Maven skin by Andrius Velykis.