CZT provides classes for typechecking Z and some Z extension specifications.

To provide modularity, each supported dialect gets its own typechecker subproject. For your projects, select typecheckers just for the dialects you need as your dependencies:

Back to top

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

Reflow Maven skin by Andrius Velykis.