About the Dept
Research Resources
Student Resources
Computer Science
Research Resources >> The Formal Methods Group
Formal Methods Group

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.

Web Site
For more information on the Formal Methods Group visit

  2007 FCMS. The University of Waikato - Te Whare Wananga o Waikato