mariellepetitdoche / ertmsformalspecs Goto Github PK
View Code? Open in Web Editor NEWERTMSFormalSpecs provides a 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.
Home Page: http://www.ertmssolutions.com/ertms-formalspecs/