The University of Waikato's Formal Methods Group is involved in the continuing development of theories, languages, methods and tools to support the highest-quality software engineering. Our work is based on sound mathematical theories, and is deeply involved in international collaboration with other groups in New Zealand, Australia, the U.K. and France.
The tools we have developed, all of which are continuously being improved, range from an animator for Z specifications, through an editor for a language of reactive systems, to tools for specification-based testing of software. We have experience from theory to practice; from design of languages to development of high-quality software.