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.
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.
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/
Be the first person to add a text review.
Copyright © 2010 Geeknet, Inc. All rights reserved. Terms of Use
Thanks for your rating!
Would you also like to write a review?
Thanks for your review!
Get credit for your review by logging in via OpenID. Click your account provider: