Recent Projects involving FMT

4SECURail : Formal methods and CSIRT for the railway sector.
EU H2020-Shift2Rail-RIA-881775, 2019-2021
https://cordis.europa.eu/project/id/881775

IT MaTTerS: Methods and Tools for Trustworthy Smart Systems.
MIUR-PRIN 2017FTXR7S, 2019-2022

ASTRail: SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation.
EU H2020-Shift2Rail-RIA-777561, 2017-2019
https://cordis.europa.eu/project/id/777561

STINGRAY: SmarT station INtelliGent RAilwaY.
POR-FESR-2014-2020, 2018-2020

QUANTICOL: A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours.
EU FP7-ICT-FET-FoCAS-600708, 2013-2017