GraphIL Icon

GraphIL

Add a Review
0 Downloads (This Week)
Last Update:
Download GraphIL_1.0.jar
Browse All Files

Description

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.

GraphIL Web Site

KEEP ME UPDATED

Other Useful Business Software

OpManager: An integrated Network Monitoring Software Icon

Monitor, detect, analyze and fix network issues before they turn into disasters.

OpManager: An integrated Network Monitoring Software Icon
Gain visibility into your network behavior through continuos monitoring of network and servers, real-time tracking of configuration changes, analysing bandwidth bottlenecks, inspecting firewall logs, and thereby avert network disasters.
Write a Review

User Reviews

Be the first to post a review of GraphIL!

Additional Project Details

Languages

English, Polish

Intended Audience

Developers

User Interface

Web-based, Win32 (MS Windows), X Window System (X11)

Programming Language

Java

Registered

2004-02-10

Thanks for helping keep SourceForge clean.

Screenshot instructions:
Windows
Mac
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies
X

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

No, thanks