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.

.

Page navigation:

©2024. Winfy. All Rights Reserved.

By OD Group OU – Registry code: 1609791 -VAT number: EE102345621.