|AMuZed is a graphical
editing tool for the creation of
μ-charts (mu-charts or microcharts.)
AMuZed is intended to
allow the user to do the following :
|ZooM is a tool which takes the .muz file output of a created chart from AMuZed and generates a series of .tex files which contain the Z specification for that chart||
|AMuZed and ZooM are compiled to run under Linux, MacOSX and
We recommend reading the manuals included with the distributions
for familiarization with the toolbar and menu options.
There are also a few sample .muz files included.
Mac OS X :
Source code :
Please read this file for
more detailed instructions (particulary if you're compiling under
Support files :
Return to the Formal Methods Lab
If you download these applications please send an email to email@example.com. so that we can keep you informed of upgrades and enhancements.
To report any bugs or problems please send an email to firstname.lastname@example.org.
AMuZed was created by Greg Reeve
with Steve Reeves
and subsequently developed further
by Judy Bowen, Chitra Kanakaraj and Gareth Bradley.
Web-administrator, Department of Computer Science, University of Waikato, Hamilton, New Zealand