La iniciativa Community Z Tools ( CZT ) se basa en un proyecto de SourceForge para construir un conjunto de herramientas para la notación Z , un método formal útil en ingeniería de software . Las herramientas incluyen soporte para editar, verificar el tipo y animar especificaciones Z. Existe cierto soporte para extensiones como Object-Z y TCOZ . Las herramientas se crean utilizando el lenguaje de programación Java .