fakoor / ertmsformalspecs Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mariellepetitdoche/ertmsformalspecs
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.
Home Page: https://www.ertmssolutions.com/products/ertmsformalspecs-open-source/