Set of libraries and tools for editing, typechecking and animating formal specifications written in the Z specification language, with some support for Z extensions such as Object-Z and Circus.
