EST is a registered project at Savannah.

EST EST 2nd Edition

Overview

Project: Efficient Symbolic Tools package - 2nd Edition
Synopsis: EST 2nd Edition is a tool for the formal verification of concurrent systems
Administrator: Robert Meolic (robert.meolic@um.si)
Authors: Robert Meolic, Tatjana Kapus, Zmago Brezo─Źnik
History: started in 2000, first release in 2003
COBISS-ID: 5626902 (this number is used by Slovenian libraries)

Features:

* currently disabled

Previews: license, menu, dialog,

Acknowledgement: Until now, the project EST 2nd Edition has been entirely realized during the research process on Faculty of Electrical Engineering and Computer Science in Maribor, Slovenia. We are collaborating with Formal Methods and Tools Group at ISTI in Pisa, Italy.

Download

From August 2003 until October 2006, EST 2nd Edition project used a CVS repository. In October 2006, we deleted it and created a SVN repository. Please, ask for packages of other types or for other systems and we will generate it.

EST 2nd Edition - release 6.x (last updated Jan 18, 2017)

New features Other significant changes from release 5.7 Download sources Download 64-bit binary distribution of EST 2nd Edition - standalone interactive version with Tcl/Tk GUI My Interface Download 64-bit binary distribution of EST 2nd Edition - libraries and projects
(deb and rpm packages do not include projects)

EST 2nd Edition - release 5.7 (Apr 25, 2015)

New features Other significant changes from release 4.5 Download sources

EST 2nd Edition - release 4.5 (Jun 11, 2007)

New features Other significant changes from release 3.5 Download sources

EST 2nd Edition - release 3.5 (Jun 12, 2006)

New features Other significant changes from release 2.2 Download sources

EST 2nd Edition - release 2.2 (Feb 17, 2004)

New features Other significant changes from release 2.0 Sources

EST 2nd Edition - release 2.0 (Aug 7, 2003)

Sources

History


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