A public web-based interface for interacting with a local version of the tool can be found at the URL: http://fmt.isti.cnr.it/umc/V2.7/umc.html
In this directory we provide all the sources of the command-line oriented tool "umc". To generate the executable "umc", just use the command:
> gnatmake umc
where "gnatmake" is one of the commands of the GCC-based GNAT-Ada compilation Environment (see www.adacore.com)
Some documentation (related to version 2.5 of the tool) can be found in UMC-UGV25.pdf Both supported or free versions of GNAT exist for Unix, Macintosh and Window systems.