The Maude NPA GUI
The latest MaudeNPA Graphical User Interface (April 2017) 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.
- Maude is available here.
To run MaudeNPA via the
GUI you will need:
Information about Graphviz can be found here.
Instructions for running the GUI can be found here
- a recent version Java (e.g. 1.7), and
- a recent version of Graphviz (i.e. dot).
Information about the previous version of the MaudeNPA GUI can be found