Projects are included in binary distribution of EST (non-interactive version). Please, download zip file because deb and rpm packages do not include projects. You will also need Biddy package, which is not included in EST packages.

Building projects: Go to the project's folder, change paths in Makefile.$OS ($OS is your OS, e.g. Linux) and do make. This should work, otherwise please send me a mail.

EST 1st Edition

  • demo: Hello World example

EST 2nd Edition

  • demo: Hello World example
  • wca: Witness and Counterexample Automata Generator for ACTL
  • min: Minimization of processes

Published on  October 9th, 2017 - Robert Meolic, University of Maribor