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:
- a recent version Java (e.g. 1.7), and
- a recent version of Graphviz (i.e. dot).
Information about Graphviz can be found here.
Instructions for running the GUI can be found here
Download
Information about the previous version of the MaudeNPA GUI can be found
here