The Community Z Tools (CZT) project is building a set of tools for editing, typechecking and animating formal specifications written in the Z specification language, with some support for Z extensions such as Object-Z, Circus, and TCOZ. These tools are all built using the CZT Java framework for Z tools.
The Z machine is the largest X-ray generator in the world and is designed to test materials in conditions of extreme temperature and pressure. Operated by Sandia National Laboratories, it gathers data to aid in computer modeling of nuclear weapons. The Z machine is located at Sandia's main site in Albuquerque, New Mexico.