z-notation
Creates, validates, and animates Z specifications from source code and generates code from specifications
Converts lightweight text to LaTeX for software engineering mathematics and Z modelling.
