11 citations · 34 across the 6 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2022★ 11 cited
A Runtime Environment for Contract Automata
Davide Basile, Maurice H. ter Beek
Contract automata have been introduced for specifying applications through behavioural contracts and for synthesising their orchestrations as finite state automata. This paper addr…
cs.SE2021★ 4 cited
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…