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/.

Share

Efficient Symbolic Tools

by meolic

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.


http://est.sourceforge.net

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

Project Feed

Efficient Symbolic Tools Actions