modulexcite / ertmsformalspecs Goto Github PK

View Code? Open in Web Editor NEW

ERTMSFormalSpecs provides an open-source domain-specific language, designed to express the ERTMS specification in a concise and verifiable formal representation. It is understandable by domain specialists while retaining the ability to be translated to executable representations by fully automated means.

Inno Setup 0.95% C 0.01% Pascal 0.01% CSS 0.09% XSLT 0.05% HTML 42.84% Batchfile 0.01% JavaScript 0.03% Makefile 0.04% TeX 0.08% C# 27.16% Perl 0.09% Java 27.96% GAP 0.71% Xtend 0.01%

ertmsformalspecs's Introduction

ERTMSFormalSpecs

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 ([email protected] or [email protected] or [email protected])

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!

Recommend Projects

modulexcite / ertmsformalspecs Goto Github PK