graphil

We have hosted the application graphil in order to run this application in our online workstations with Wine or directly.

Quick description about graphil:

GraphIL is a graphical editor for the intermediate language, one of the input formalisms of Verics. Verics is a tool for automated verification of Timed Automata and protocols, developed in the Institute of Computer Science of Polish Academy of Sciences.

Audience: Developers.
User interface: Web-based, Win32 (MS Windows), X Window System (X11).
Programming Language: Java.

.