Efficient Symbolic Tools

Welcome, Guest! Log In | Create Account

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

SourceForge.net > Find Software > 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.

View all files

http://est.sourceforge.net

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

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/

01:55PM on Oct 20 2006 by meolic
Code committed

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

07:04PM on Nov 28 2000 by nobody
Forum thread added

Anonymous created the Welcome to Developers forum thread

11:08AM on Nov 24 2000 by nobody
Forum thread added

Anonymous created the Welcome to Open Discussion forum thread

11:08AM on Nov 24 2000 by nobody
Forum thread added

Anonymous created the Welcome to Help forum thread

11:08AM on Nov 24 2000 by nobody
Project Information Updated

registered the Efficient Symbolic Tools project

11:06AM on Nov 24 2000

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

Project Feed

EST project moved

Code committed

Forum thread added

Forum thread added

Forum thread added

Project Information Updated

Efficient Symbolic Tools Actions

About SourceForge

Find Software

Develop Software

Community

Help