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.
License
GNU General Public License version 2.0 (GPLv2)Follow Efficient Symbolic Tools
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Efficient Symbolic Tools!