Home

Andrius Velykis

Community Z Tools Project (CZT):
Tools for editing, typechecking and animating Z
specifications and related notations.
Includes a Java framework for building formal methods tools.


Project Admins: