Community Z Tools (2.0 preview!)

CZT typechecker for Circus

Provides classes for typechecking Circus specifications (written in Circus 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.