EST is a registered project at Savannah.

EST EST 1st Edition

Overview

Project: Efficient Symbolic Tools package - 1st Edition
Synopsis: EST 1st Edition is a tool for the formal verification of concurrent systems
Administrator: Robert Meolic (robert.meolic@um.si)
Authors: Robert Meolic, Tatjana Kapus, Aleš Časar, Mirjam Sepesy Maučec, Zmago Brezočnik
History: started in 1992, first release in 1999
COBISS-ID: 5626902 (this number is used by Slovenian libraries)

Features:

Previews: license, menu, dialog, colors, an example of verification.

Acknowledgement: Project EST 1st Edition has been entirely realized during the research process on Faculty of Electrical Engineering and Computer Science in Maribor, Slovenia. The project has been partly supported by the Slovenian Ministry of Science and Technology in years 1993-1995 and 1996-1998 under grants J2-5122-0796-95 and J2-7495-0796-96, respectively. From 1995-1997 the project has been partly supported by COST 247 project Verification and Validation Methods for Formal Descriptions.

Download

The project EST 1st Edition is now marked as matured, because we are not planning to add new features (others than GUI improvements). However, there is still a lot of work to do, including writing documentation, cleaning up the code, adding new examples etc. Hence, the project is not closed, yet.

Modules from EST 1st Edition and EST 2nd Edition are not interchangeable, i.e. EST 2nd Edition release-2-0 is not an upgrade of EST 1st Edition release-1-x.

In October 2006, we created local SVN repository for EST 1st Edition project (last version in this repository was labeled as revision 23). In October 2014, we created SVN repository at Savannah. First version in new repository is labeled as revison 95. Notes from local repository have not been passed to new repository.

EST 1st Edition - release 1.5.x

The most important changes from release 1.4 Download sources Download binary distribution of EST 1st Edition - interactive version with Tcl/Tk GUI My Interface Download binary distribution of EST 1st Edition - libraries and projects
(deb and rpm packages do not include projects)

EST 1st Edition - release 1.4 (Jun 13, 2007)

The most important changes from release 1.3 Download sources

EST 1st Edition - release 1.3 (Jan 15, 2007)

The most important changes from release 1.2 Download sources

EST 1st Edition - release 1.2 (Oct 20, 2006)

The most important changes from release 1.1 Download sources

EST 1st Edition - release 1.1 (Sep 16, 2003)

New features The most important changes from release 1.0 Sources not available.

EST 1st Edition - release 1.0 (1999 - 2003)

Sources not available.

History


Please, send your questions and comments to robert.meolic@um.si.