Formal Methods && Tools Group

Recent Projects involving FMT

  • IT MaTTerS : Methods and Tools for Trustworthy Smart Systems.
    MIUR-PRIN 2017FTXR7S, 2019-2022
  • 4SECURail: Formal methods and CSIRT for the railway sector.
    EU H2020-Shift2Rail-RIA-881775, 2019-2021
  • ASTRail: SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation.
    EU H2020-Shift2Rail-RIA-777561, 2017-2019
  • 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