dk.brics.automaton  |  dk.brics.grammar  |  dk.brics.schematools
JSRefactor  |  Artemis  |  TAJS  |  Java String Analyzer  |  XSLT Validator  |  WARlord  |  XSugar  |  Xact  |  JWIG
MONA  |  PALE

• Home
• Download
• Demo
• Publications

Copyright © 1997-2013 Aarhus University.

This is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License.

• Complete source code: mona-1.4-15.tar.gz
  See also MONA at github.

The source code has been tested on Linux, Windows (with Cygwin), and OS X. See the README and INSTALL files in the source package for information about compiling MONA.

• Executable for Windows: mona.exe (1.4-13), cygwin1.dll
• monaviewer-1.0.tar.gz - a Java tool for viewing MONA formulas as tree structures (by Patrick Lam)
• monagui-1.0.tar.gz - a GUI for editing and processing MONA formulas (by Michael Kruse)