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

Full-stack observability with actually useful AI | Grafana Cloud

Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.

Create free account

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