Efficient Symbolic Tools - Summary

This group is not part of the GNU Project.

Efficient Symbolic Tools package (EST) is a tool for the formal verification of systems. It is a collection of symbolic algorithms based on binary decision diagrams (BDDs). Curently, it supports only our own BDD package called Biddy, but one day it could support other BDD packages, too.

EST itself provides libraries of functions, which you can use in your own main program. Or, you can try our simple Tcl/Tk GUI called My Interface, from which you can access all the features.

EST distinguishes itself as a small and portable package with a readable source code in C and well implemented algorithms. EST runs on many different computers with different operating systems, including GNU/Linux, MS Windows, and Solaris.

Registration Date: Tue 10 Oct 2006 07:48:44 AM UTC
License: GNU General Public License v2 or later
Development Status: 5 - Production/Stable