AltaRica Studio is a prototype of a graphical front-end to ARC. This tool is not an IDE (at least for the time being) and aims to offer a quick access to main computations proposed by the model-checker. It also embed a graphical simulator that displays state-graph of models built according to events triggered by the user.
AltaRica Studio is distributed within ARC package.
Screenshots

On the left hand side a navigator displays the hierarchy of the loaded model.
Here the main window displays source code of the selected node.

This picture shows GUI of the simulator. Upper left frame displays current assignment of variables. Lower left frame displays transitions that can be triggered and the central frame show the state-graph built so far.