mainEfficient Symbolic Tools - Summary

Membership Info
Group 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 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


Quick Overview
 Memberlist (3 members)

Back to the top

Powered by Savane 3.13-b921.
Corresponding source code