Ter Beek M. H., Fantechi A., Ferrari A., Gnesi S., Scopigno R.
Formal methods Railways
Researchers from the Formal Methods and Tools group of ISTI-CNR are working on a review and assessment of the main formal modelling and verification languages and tools used in the railway domain, with the aim of evaluating the actual applicability of the most promising ones to a moving block signalling system model provided by an industrial partner. The research is being conducted in the context of the H2020 Shift2Rail project ASTRail.
Source: ERCIM news 112 (2018): 44–45.
Publisher: ERCIM., Le Chesnay
@article{oai:it.cnr:prodotti:382382, title = {Formal methods for the railway sector}, author = {Ter Beek M. H. and Fantechi A. and Ferrari A. and Gnesi S. and Scopigno R.}, publisher = {ERCIM., Le Chesnay}, journal = {ERCIM news}, volume = {112}, pages = {44–45}, year = {2018} }