Efficient Symbolic Tools

Welcome, Guest! Log In | Create Account

SourceForge.net > Find Software > Efficient Symbolic Tools

As of 2006-10-20 0:00:00 GMT, this project may now be found at http://lms.uni-mb.si/EST/.

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.

View all files

http://est.sourceforge.net

Topic:

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

License:

GNU General Public License (GPL)

Translations:

English, Slovene

Intended Audience:

Education, Science/Research, Telecommunications Industry

User Interface:

Win32 (MS Windows), X Window System (X11)

Programming Language:

C, Tcl

Registered:

2000-11-24

Be the first to post a text review of Efficient Symbolic Tools. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Project Feed

EST project moved

From October 2006, EST project is not maintained at SourceForge, anymore. It has been moved to Savannah repository. You can get the latest source and view latest news at http://lms.uni-mb.si/EST/

posted by meolic 1176 days ago
Code committed

Anonymous committed patchset 1 of module CVSROOT to the Efficient Symbolic Tools CVS repository, changing 11 files

posted by nobody 3328 days ago
Forum thread added

Anonymous created the Welcome to Developers forum thread

posted by nobody 3332 days ago
Forum thread added

Anonymous created the Welcome to Open Discussion forum thread

posted by nobody 3332 days ago
Forum thread added

Anonymous created the Welcome to Help forum thread

posted by nobody 3332 days ago
Project Information Updated

registered the Efficient Symbolic Tools project

posted 3332 days ago

Rate and Review

Be the first person to add a text review.