mainEfficient Symbolic Tools - Summary

Membership Info
Project Admin:
3 active members

Group identification
Id: #8827
System Name: est
Name: Efficient Symbolic Tools
Group Type: non-GNU software and documentation

Search in this Group


This project 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 Oct 10 07:48:44 2006
License: GNU General Public License v2 or later
Development Status: 5 - Production/Stable


Back to the top

Powered by Savane 3.1-cleanup1