efficient symbolic tools to run in linux online

We have hosted the application efficient symbolic tools to run in linux online in order to run this application in our online workstations with Wine or directly.

Quick description about efficient symbolic tools to run in linux online:

Efficient Symbolic Tools package (EST) is a BDD based tool for the formal verification of concurrent systems. Its advantages are flexibility, portability and an efficient memory management. It runs under different OS, including Linux and Windows 2000/XP.

Audience: Education, Science/Research, Telecommunications Industry.
User interface: Win32 (MS Windows), X Window System (X11).
Programming Language: C, Tcl.

.