11 citations · 34 across the 6 of their papers we have counts for
1 paper · 1 filter
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…