To try EFS, please download the installer package on the website http://www.ertmssolutions.com/online. To get it, you should connect to the site (and maybe create a login + password for this), and contact us to get a download authorization for the installer file (laurent@ertmssolutions.com or stan@ertmssolutions.com or svitlana@ertmssolutions.com)
To get help, following items are available:
In case there is any unanswered question, feel free to file an issue (https://github.com/openETCS/ERTMSFormalSpecs/issues?direction=desc&sort=created&state=open) or contact us by email.
ERTMSFormalSpecs is open-source, and uses the EUPL license, so that anyone can use it free of charge, without commercial restrictions. Please visit https://joinup.ec.europa.eu/software/page/eupl for complete information about EUPL license. We look forward to your feedback!