2018
Journal article
Open Access
Formal methods for the railway sector
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
Back to previous page
BibTeX entry
@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}
}
0000-0002-4648-4667CNR ExploRA
ISTI Repository
Also available from
ISTI Repository
Also available from
