4 citations · 4 across the 1 of their papers we have counts for
2 papers
cs.SE2022★ 4 cited
Formal Modeling and Initial Analysis of the 4SECURail Case Study
Franco Mazzanti, Dimitri Belli
We present the case study developed in the context of the 4SECURail project and the approach used for its formal modeling and analysis. Starting from a simple SysML/UML behavioral…
cs.SE2021
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design
Alessio Ferrari, Franco Mazzanti, Davide Basile +1
Formal methods and supporting tools have a long record of success in the development of safety-critical systems. However, no single tool has emerged as the dominant solution for sy…