Efficient Symbolic Tools download

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.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Efficient Symbolic Tools

Efficient Symbolic Tools Web Site

Other Useful Business Software

AI-generated apps that pass security review

Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.

Try Retool free

Rate This Project

User Reviews

Be the first to post a review of Efficient Symbolic Tools!

Additional Project Details

Languages

English, Slovene

Intended Audience

Education, Science/Research, Telecommunications Industry

User Interface

Win32 (MS Windows), X Window System (X11)

Programming Language

C, Tcl

Related Categories

C Communications Software, C Electronic Design Automation (EDA) Software, C Mathematics Software, C Education Software, C Topic Software, Tcl Communications Software, Tcl Electronic Design Automation (EDA) Software, Tcl Mathematics Software, Tcl Education Software, Tcl Topic Software

Registered

2000-11-24

Similar Business Software

OptiSigns

OptiSigns is all about making it easy for you to connect with your audience. We're top-notch at what we do - providing digital signage that catches people's attention. For just $10/month per screen, use any display to capture your audiences attention! Remotely manage it all from one...

See Software
3CX

3CX is a software-based, open standards IP PBX that offers complete Unified Communications, out of the box. Suitable for any business size or industry 3CX can accommodate every need; from mobility and status to advanced contact center features and more, at a fraction of the cost. Ideal for...

See Software
Coursebox AI

Transform your content into engaging eLearning experiences with Coursebox, the #1 AI-powered eLearning authoring tool. Our platform automates the course creation process, allowing you to design a structured course in seconds. Simply make edits, add any missing elements, and your course is ready...

See Software
Xero

Save 90% for 4 months on Xero's award-winning accounting and online bookkeeping platform for businesses of all sizes and stages of growth. Beautifully simple, Xero covers a wide range of features that help businesses manage their finances effortlessly, including invoicing, inventory, bank...

See Software
Adversus

Adversus is an outbound dialing solution that helps you streamline your call strategies, automate manual processes, and provide valuable insights to improve your outbound workflows and efficiency. Adversus was born in 2015 after our founders experienced a lack of flexibility with the solution...

See Software
Gradelink SIS

Help your school save time, increase enrollment, and achieve its mission with Gradelink. An award-winning student information system and school management system, Gradelink school management software system is suitable for Preschool through High school. Gradelink is a great fit for higher...

See Software