News

Survey on Formal and Semi-formal Methods in Railways

See the link

Within ASTRail WP4, we have designed a short survey oriented to practitioners and academics with an interest in the application of formal and semi-formal methods to the development of railway systems.

Our goal is to understand what is the experience of the respondents in the application of formal and semi-formal methods in railways, and what are the main requirements that formal and semi-formal tools should have to be applied in the railway industry.


Please take our 5 minutes survey at the following link: https://goo.gl/forms/26wqR8Qt3vfxNfRv1

 

This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No: 777561

Copyright © 2017 - Astrail Consortium