efficient symbolic tools

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

Run efficient symbolic tools online

Quick description about efficient symbolic tools:

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.
Categories:

Communications, Education, Electronic Design Automation (EDA), Mathematics, Other/Nonlisted Topic

Page navigation:

< Prev
Next >

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