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
