The Maude NPA GUI

The latest MaudeNPA Graphical User Interface (April 2017) is available from this page.

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


Information about the previous version of the MaudeNPA GUI can be found here