The Maude NPA GUI

The latest MaudeNPA Graphical User Interface is available from this page. The first two zip files, linked below, contain MaudeNPA, the GUI, a version of Maude, and a version of IOP. The third assumes you have your own copies of Maude and IOP. IOP is available here, while Maude is available here.

To run MaudeMPA via the GUI you will need a recent version Java (e.g. 1.7) and a recent version of Graphviz (i.e. dot), information about the latter can be found here. On Linux you will need openjdk's Java, unless you have gnome installed, in which case you can pick either openjdk or Oracle's java. Instructions for running the GUI can be found here

Download

Information about the previous version of the MaudeNPA GUI, including documentation for both versions, can be found here